• Sign in
  • Sign up
conf.researchr.org / Jan Christiansen
  • ICFP 2016 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • POPL 2018 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • ‹Programming› 2019 profile
Jan Christiansen

Registered user since Mon 17 Oct 2016

Name:Jan Christiansen
Affiliation:Flensburg University of Applied Sciences, Germany

Contributions

2023

Symposium on Practical Aspects of Declarative Languages

  • Author of Embedding Functional Logic Programming in Haskell via a Compiler Plugin within the PADL 2023-track

2022

Symposium on Practical Aspects of Declarative Languages

  • Committee Member in Programme Committee within the PADL 2022-track

2020

Haskell

  • Committee Member in Program Committee within the Haskell 2020-track

2019

Haskell

  • Author of Verifying Effectful Haskell Programs in Coq within the Haskell 2019-track

‹Programming›

  • Author of Proving Inequational Propositions about Haskell Programs in Coq within the Posters-track
  • Author of One Monad to Prove Them All within the Research Papers-track

2018

Symposium on Practical Aspects of Declarative Languages

  • Author of Probabilistic Functional Logic Programming within the PADL 2018-track

2016

ICFP

  • Author of All Sorts of Permutations (Functional Pearl) within the Research Papers-track
Share
xSun 3 Dec 16:00
using conf.researchr.org (v1.62.0)
Support page
Sign Up