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