Write a Blog >>
ICFP 2020
Sun 23 - Sat 29 August 2020
ICFP 2020 (series) / David Thrane Christiansen
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 2020Committee Member in Organizing Committee within the FPE 2020-track
TyDe 2020Author of Predictable Macros for Hindley-Milner (Extended Abstract) within the TyDe 2020-track
Show activities from other conferences

Using general profile