conf.researchr.org / David Christiansen
David Christiansen

Registered user since Fri 17 Jun 2016

Name: David Christiansen

Country: United States

Affiliation: Galois, Inc.

Personal website: http://davidchristiansen.dk

Contributions

Scheme 2018Author of A Surprisingly Competitive Conditional Operator within the Scheme 2018-track
TyDe 2018Author of Extensible Type-Directed Editing within the TyDe 2018-track
ICFP 2018Session Chair of Dependent Types (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Workshops Co-Chair in Organizing Committee
ICFP 2017Workshops Co-Chair in Organizing Committee
PEPM 2017Author of Idris, Inside-Out: A Tutorial on Extending Idris in Idris within the PEPM 2017-track
TyDe 2016Committee Member in Program Committee within the TyDe-track
POPL 2017Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2016Author of Elaborator Reflection: Extending Idris in Idris within the Research Papers-track
ECOOP 2015Author of Coding for Types: The Universe Pattern in Idris within the Curry On-track