ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
David Thrane Christiansen

Registered user since Fri 17 Jun 2016

Name:David Thrane 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.

Country:Denmark
Affiliation:IT University of Copenhagen, Denmark

Contributions

Show activities from other conferences

ECOOP 2015-profile
View general profile