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]

Authors

Joachim Breitner

This author has not been identified. Look up 'Joachim Breitner' in Google

Richard A. Eisenberg

This author has not been identified. It may be one of the following persons: Look up 'Richard A. Eisenberg' in Google

Simon Peyton Jones

Identified as Simon L. Peyton Jones

Stephanie Weirich

This author has not been identified. It may be one of the following persons: Look up 'Stephanie Weirich' in Google