Extensible type-directed editing. - Joomy Korkut; David Thrane Christiansen (TyDe@ICFP, 2018)

Dependently typed Haskell in industry (experience report). - David Thrane Christiansen; Iavor S. Diatchki; Robert Dockins; Joe Hendrix; Tristan Ravitch (Proc. ACM Program. Lang., 2019)