Simon Peyton Jones,and Kevin Donnelly. System F with type equality coercions (2007)

by Martin Sulzmann, Manuel M T Chakravarty
Venue:In Proc ACM SIGPLAN Workshop on Types in Language Design andImplementation