Registered user since Fri 17 Jun 2016

Name: David Christiansen

Country: United States

Affiliation: Indiana University, USA

Personal website: http://davidchristiansen.dk

ICFP 2016 Activities

• Committee Member in Program Committee for TyDe 2016
• Author of Elaborator Reflection: Extending Idris in Idris within the Research Papers-track in ICFP 2016
• Show activities from other conferences