Registered user since Mon 17 Jun 2019
Name:Christian Uldal Graulund
Country:Denmark
Affiliation:IT University of Copenhagen
Personal website:https://chgrau.github.io/
Research interests:Type Theory, Programming Languages, Logic and semantics, Category Theory
Contributions
| HOPE 2020 | Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2020-profile
View general profile
View general profile