Safe zero-cost coercions for Haskell.

Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich

Browse the full ICFP paper archive.