Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jan Christiansen
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2019 profile
ICFP 2020 profile
POPL 2018 profile
POPL 2022 profile
POPL 2023 profile
‹Programming› 2019 profile
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
x
Tue 3 Dec 17:57
