Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich. Safe zero-cost coercions for Haskell. In Johan Jeuring, Manuel M. T. Chakravarty, editors, Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. pages 189-202, ACM, 2014. [doi]
Abstract is missing.