![Christian Uldal Graulund](https://popl21.sigplan.org/getProfileImage/christianuldalgraulund/d16405f0-85e3-4e04-b5b0-ca10d41b59ff/small.jpg?1712458382000)
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
POPL 2021-profile
View general profile
View general profile