Jan Stolarek, Simon L. Peyton Jones, Richard A. Eisenberg. Injective type families for Haskell. In Ben Lippmeier, editor, Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015. pages 118-128, ACM, 2015. [doi]
Abstract is missing.