System F with type equality coercions (2007)

by Martin Sulzmann, Manuel M T Chakravarty, Simon Peyton Jones, Kevin Donnelly
Venue:In TLDI ’07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation