David Christiansen

Sun 18 - Sat 24 September 2016 Nara, Japan

Registered user since Fri 17 Jun 2016

Name: David Christiansen

Country: United States

Affiliation: Indiana University, USA

Personal website: http://davidchristiansen.dk

Contributions

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