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
Research interests:Type Theory, Programming Languages, Logic and semantics, Category Theory

Contributions

Show activities from other conferences

ICFP 2020-profile
View general profile