ECOOP 2015 (series) / 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
Personal website:http://www.itu.dk/people/drc
Contributions
ECOOP 2015 | Coding for Types: The Universe Pattern in Idris | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ECOOP 2015-profile
View general profile
View general profile