Parametricity for Haskell with imprecise error semantics (2009)

by F Stenger, J Voigtländer
Venue:In Typed Lambda Calculi and Applications, Proceedings, volume 5608 of LNCS