David Thrane Christiansen -

Registered user since Fri 17 Jun 2016

Name:David Thrane Christiansen

Country:United States

Affiliation:Galois, USA

Personal website:http://davidchristiansen.dk

Contributions

FPE 2020	Committee Member in Organizing Committee within the FPE 2020-track
TyDe 2020	Author of Predictable Macros for Hindley-Milner (Extended Abstract) within the TyDe 2020-track
META 2019	Committee Member in Program Committee within the META 2019-track
SPLASH 2019	Author in Reviewers within the SRC-track
Scheme 2018	Author of A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie within the Scheme 2018-track
TyDe 2018	Author of Extensible Type-Directed Editing within the TyDe 2018-track
ICFP 2019	Author of Verifying Imperative Programs with SAW within the Tutorials-track Author of Dependently Typed Haskell in Industry (Experience Report) within the Research Papers-track
ICFP 2018	Session Chair of Dependent Types (part of Research Papers) Committee Member in Program Committee within the Research Papers-track Workshops Co-Chair in Organizing Committee Committee Member in Distinguished Papers Committee within the Research Papers-track
ICFP 2017	Workshops Co-Chair in Organizing Committee
PEPM 2017	Author of Idris, Inside-Out: A Tutorial on Extending Idris in Idris within the PEPM 2017-track
TyDe 2016	Committee Member in Program Committee within the TyDe-track
POPL 2017	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2016	Author of Elaborator Reflection: Extending Idris in Idris within the Research Papers-track
ECOOP 2015	Author of Coding for Types: The Universe Pattern in Idris within the Curry On-track