David Thrane Christiansen

Registered user since Fri 17 Jun 2016

Name:David Thrane Christiansen
Country:Denmark
Affiliation:The Haskell Foundation

Contributions

Haskell 2023 Committee Member in Program Committee within the Haskell 2023-track
PLMW @ ICFP 2022 Speaker of Introduction to Lean within the PLMW @ ICFP 2022-track
Haskell 2022 Keynote Speaker of Industrial Strength Laziness: What's Next? within the Haskell 2022-track
Author of Demos within the Haskell 2022-track
TyDe 2020 Author of Predictable Macros for Hindley-Milner (Extended Abstract) within the TyDe 2020-track
SPLASH 2019 Author in Reviewers within the SRC-track
META 2019 Committee Member in Program Committee within the META 2019-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
TyDe 2018 Author of Extensible Type-Directed Editing within the TyDe 2018-track
Scheme 2018 Author of A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie within the Scheme 2018-track
ICFP 2017 Workshops Co-Chair in Organizing Committee
POPL 2017 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PEPM 2017 Author of Idris, Inside-Out: A Tutorial on Extending Idris in Idris within the PEPM 2017-track
ICFP 2016 Author of Elaborator Reflection: Extending Idris in Idris within the Research Papers-track
TyDe 2016 Committee Member in Program Committee within the TyDe-track
ECOOP 2015 Author of Coding for Types: The Universe Pattern in Idris within the Curry On-track