David Thrane Christiansen -

Registered user since Fri 17 Jun 2016

Name:David Thrane Christiansen

Country:Denmark

Affiliation:Lean FRO, LLC

Personal website: http://davidchristiansen.dk

Contributions

2024

ICFP

PC Member in ICFP Papers and Events within the ICFP Papers and Events-track

2023

Haskell

Committee Member in Program Committee within the Haskell 2023-track

2022

PLMW

Speaker of Introduction to Lean within the PLMW @ ICFP 2022-track

Haskell

2020

TyDe

Author of Predictable Macros for Hindley-Milner (Extended Abstract) within the TyDe 2020-track

2019

SPLASH

Author in Reviewers within the SRC-track

META

Committee Member in Program Committee within the META 2019-track

ICFP

2018

ICFP

TyDe

Author of Extensible Type-Directed Editing within the TyDe 2018-track

Scheme

Author of A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie within the Scheme 2018-track

2017

ICFP

Workshops Co-Chair in Organizing Committee

POPL

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

PEPM

Author of Idris, Inside-Out: A Tutorial on Extending Idris in Idris within the PEPM 2017-track

2016

ICFP

Author of Elaborator Reflection: Extending Idris in Idris within the Research Papers-track

TyDe

Committee Member in Program Committee within the TyDe-track

2015

ECOOP

Author of Coding for Types: The Universe Pattern in Idris within the Curry On-track