David Thrane Christiansen

According to our database, David Thrane Christiansen authored at least 2 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Dependently typed Haskell in industry (experience report).

David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch

Proc. ACM Program. Lang., 2019

2018

Extensible type-directed editing.

Joomy Korkut, David Thrane Christiansen

Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development, 2018