Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Christian Uldal Graulund

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