Parametricity for haskell with imprecise error semantics (2009)

by Florian Stenger, Janis Voigtländer
Venue:In Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications, TLCA ’09