‹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