
Registered user since Tue 11 Oct 2016
Name: Sandra Dylus
Bio: I finished my PhD in PL, more precisely on functional programming (Haskell, Coq) and emphasis on algebraic effects and non-determinism as effect (as in functional logic programming) in 2020.
Country: Germany
Affiliation: Cap3 GmbH
Personal website: https://ichistmeinname.github.io/page/
Twitter: https://twitter.com/ichistmeinname
GitHub: https://github.com/ichistmeinname
Research interests: Programming Languages, Functional Programming, Proof Assistants
Contributions
PADL 2021 | Committee Member in Programme Committee within the PADL 2021-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile