‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Jan Christiansen

Registered user since Mon 17 Oct 2016

Name: Jan Christiansen

Affiliation: Flensburg University of Applied Sciences, Germany

Contributions

‹Programming› 2019 Proving Inequational Propositions about Haskell Programs in Coq
One Monad to Prove Them All
Show activities from other conferences

‹Programming› 2019-profile
View general profile