System F with Type Equality Coercions (2007)

by M Sulzmann, M M T Chakravarty, S Peyton Jones, K Donnelly
Venue:in The Third ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'07