Jan Christiansen -

Registered user since Mon 17 Oct 2016

Name:Jan Christiansen

Affiliation:Flensburg University of Applied Sciences, Germany

Contributions

PADL 2022	Committee Member in Programme Committee within the PADL 2022-track
Haskell 2020	Committee Member in Program Committee within the Haskell 2020-track
Haskell 2019	Author of Verifying Effectful Haskell Programs in Coq within the Haskell 2019-track
‹Programming› 2019	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
PADL 2018	Author of Probabilistic Functional Logic Programming within the PADL 2018-track
ICFP 2016	Author of All Sorts of Permutations (Functional Pearl) within the Research Papers-track