Registered user since Fri 17 Jun 2016
Name: David Christiansen
Bio: David Christiansen is a contributor to the Idris language. He is a PhD student at the IT University of Copenhagen, working on combining dependent types and metaprogramming to implement domain-specific languages.
Affiliation: IT University of Copenhagen, Denmark
Personal website: http://www.itu.dk/people/drc
ECOOP 2015 Activities
View general profile