Safe, zero-cost coercions for Haskell

June 2014Safe, zero-cost coercions for HaskellSafe, zero-cost coercions for Haskell

This paper describes the coercion and role-checking features implemented in GHC 7.8.1.

Authors: Joachin Breitner, Richard Eisenberg, Simon Peyton Jones, and Stephanie Weirich

Join Type Classes for courses and projects to get you started and make you an expert in FP with Haskell.