conf.researchr.org / Jan Christiansen
Jan Christiansen

Registered user since Mon 17 Oct 2016

Name: Jan Christiansen

Affiliation: Flensburg University of Applied Sciences, Germany

Contributions

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