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.

Country: Denmark

Affiliation: IT University of Copenhagen, Denmark

Personal website: http://www.itu.dk/people/drc

ECOOP 2015 Activities

• Author of Coding for Types: The Universe Pattern in Idris within the Curry On-track in ECOOP 2015
• Show activities from other conferences