David Thrane Christiansen

Publication Activity (10 Years)

Years Active: 2018-2019
Publications (10 Years): 2

Top Topics

Functional Programming

Inter Annotator Agreement

Wide Acceptance

Top Venues

Proc. ACM Program. Lang.

Publications

David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch
Dependently typed Haskell in industry (experience report). Proc. ACM Program. Lang. 3 (ICFP) (2019)
Joomy Korkut, David Thrane Christiansen
Extensible type-directed editing. TyDe@ICFP (2018)