Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Sandra Dylus

Registered user since Tue 11 Oct 2016

Name:Sandra Dylus

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.

Affiliation:Cap3 GmbH
Research interests:Programming Languages, Functional Programming, Proof Assistants



Symposium on Practical Aspects of Declarative Languages

Show activities from other conferences

POPL 2021-profile
View general profile