![David Thrane Christiansen](https://icfp20.sigplan.org/getProfileImage/davidchristiansen/e9074492-e9fe-4001-a9a4-4dfdb2ac8a41/small.jpg?1711482199000)
Registered user since Fri 17 Jun 2016
Name:David Thrane Christiansen
Country:United States
Affiliation:Galois, USA
Personal website: http://davidchristiansen.dk
Contributions
ICFP 2020-profile
View general profile
View general profile
Registered user since Fri 17 Jun 2016
Contributions