Registered user since Fri 17 Jun 2016
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.
|ECOOP 2015||Coding for Types: The Universe Pattern in Idris|
|Show activities from other conferences|
View general profile