David Thrane Christiansen - ICFP 2018

Write a Blog >>

Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

Registered user since Fri 17 Jun 2016

Name: David Thrane Christiansen

Country: United States

Affiliation: Galois, USA

Personal website: http://davidchristiansen.dk

Contributions

Scheme 2018	A Surprisingly Competitive Conditional Operator: miniKanrenizing the Inference Rules of Pie
TyDe 2018	Extensible Type-Directed Editing
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
Show activities from other conferences

ICFP 2018-profile
View general profile