Safe zero-cost coercions for Haskell

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]

Authors

Joachim Breitner

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

Richard A. Eisenberg

Identified as Richard A. Eisenberg

Simon L. Peyton Jones

Identified as Simon L. Peyton Jones

Stephanie Weirich

Identified as Stephanie Weirich