@inproceedings{DBLP:conf/tldi/SulzmannCJD07,
author = {Martin Sulzmann and
Manuel M. T. Chakravarty and
Simon L. Peyton Jones and
Kevin Donnelly},
title = {System F with type equality coercions},
booktitle = {TLDI},
year = {2007},
pages = {53-66},
ee = {http://doi.acm.org/10.1145/1190315.1190324},
crossref = {DBLP:conf/tldi/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/tldi/2007,
editor = {Fran\c{c}ois Pottier and
George C. Necula},
title = {Proceedings of TLDI'07: 2007 ACM SIGPLAN International Workshop
on Types in Languages Design and Implementation, Nice, France,
January 16, 2007},
booktitle = {TLDI},
publisher = {ACM},
year = {2007},
isbn = {1-59593-393-X},
ee = {http://dl.acm.org/citation.cfm?id=1190315},
bibsource = {DBLP, http://dblp.uni-trier.de}
}