Registered user since Mon 17 Jun 2019
Name: Christian Uldal Graulund
Affiliation: IT University of Copenhagen
Contributions
| ICFP 2019 | Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Without Space Leaks within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile