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