‹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