David Thrane Christiansen - PEPM 2017

Write a Blog >>

Mon 16 - Tue 17 January 2017

co-located with POPL 2017

Registered user since Fri 17 Jun 2016

Name:David Thrane Christiansen

Country:United States

Affiliation:Indiana University

Personal website: http://davidchristiansen.dk

Contributions

2017

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

PEPM

Idris, Inside-Out: A Tutorial on Extending Idris in Idris

Show activities from other conferences

POPL 2017-profile
View general profile