Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
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

ICFP 2019 Verifying Imperative Programs with SAW
Dependently Typed Haskell in Industry (Experience Report)
Show activities from other conferences

ICFP 2019-profile
View general profile