Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
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
Show activities from other conferences

ICFP 2019-profile
View general profile