Dependently typed Haskell in industry (experience report)

David Thrane Christiansen, Iavor S. Diatchki, Robert Dockins, Joe Hendrix, Tristan Ravitch. Dependently typed Haskell in industry (experience report). Proceedings of the ACM on Programming Languages, 3(ICFP), 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.