‹Programming› 2019 (series) / Sandra Dylus
Registered user since Tue 11 Oct 2016
Name: Sandra Dylus
Bio: PhD student in PL
Country: Germany
Affiliation: University of Kiel, Germany
Personal website: https://www.ps.informatik.uni-kiel.de/de/team/m.sc.-sandra-dylus
Research interests: Programming Languages, Functional Programming
Contributions
| ‹Programming› 2019 | One Monad to Prove Them All Proving Inequational Propositions about Haskell Programs in Coq | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
‹Programming› 2019-profile
View general profile
View general profile