conf.researchr.org / David Christiansen
Registered user since Fri 17 Jun 2016
Name: David Christiansen
Country: United States
Affiliation: Galois, Inc.
Personal website: http://davidchristiansen.dk
All Activities
- Committee Member in Program Committee for ICFP 2018 Research Papers
- Workshops Co-Chair in Organizing Committee for ICFP 2017
- Committee Member in Artifact Evaluation Committee for POPL 2017 Artifact Evaluation
- Workshops Co-Chair in Organizing Committee for ICFP 2018
- Committee Member in Program Committee for TyDe 2016
- Author of Elaborator Reflection: Extending Idris in Idris within the Research Papers-track in ICFP 2016
- Author of Idris, Inside-Out: A Tutorial on Extending Idris in Idris within the PEPM 2017-track in PEPM 2017
- Author of Coding for Types: The Universe Pattern in Idris within the Curry On-track in ECOOP 2015