Martin Sulzmann Manuel M. T. Chakravarty Simon L. Peyton Jones Kevin Donnelly System F with type equality coercions. 53-66 2007 conf/tldi/2007 TLDI http://doi.acm.org/10.1145/1190315.1190324 db/conf/tldi/tldi2007.html#SulzmannCJD07