Registered user since Fri 17 Jun 2016

Name: David Christiansen

Country: United States

Affiliation: Indiana University

Personal website: http://davidchristiansen.dk

POPL 2017 Activities

• Committee Member in Artifact Evaluation Committee for POPL 2017 Artifact Evaluation
• Author of Idris, Inside-Out: A Tutorial on Extending Idris in Idris within the PEPM 2017-track in PEPM 2017
• Show activities from other conferences