‹Programming› 2021
Mon 22 - Fri 26 March 2021 Online, United Kingdom
‹Programming› 2021 (series) / Sandra Dylus
Sandra Dylus

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/
X (Twitter): https://x.com/ichistmeinname
GitHub: https://github.com/ichistmeinname
Research interests:Programming Languages, Functional Programming, Proof Assistants

Contributions

Show activities from other conferences

‹Programming› 2021-profile
View general profile