Safe zero-cost coercions for Haskell

Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich. Safe zero-cost coercions for Haskell. Journal of Functional Programming, 26, 2016. [doi]

Abstract

Abstract is missing.