Registered user since Mon 17 Jun 2019

Name: Christian Uldal Graulund

Affiliation: IT University of Copenhagen

Contributions

ICFP 2019Author of Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming Without Space Leaks within the Research Papers-track