X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=blobdiff_plain;f=Report.bib;fp=Report.bib;h=3e64e11410bc1dd802dc09255e1ba7467d615d0e;hp=a2e5417f69731a40fb65a71e36776385d8b19678;hb=2c28bdc6ca8e883697d9640166bf17fb8a329cec;hpb=124f838008d9e63d36d6626ebeb453d9f83129dc

diff --git a/Report.bib b/Report.bib
index a2e5417..3e64e11 100644
--- a/Report.bib
+++ b/Report.bib
@@ -80,4 +80,15 @@
  address = {New York, NY, USA},
 }
 
-% vim: set paste:
+@inproceedings{sulzmann07,
+ author = {Sulzmann, Martin and Chakravarty, Manuel M. T. and Jones, Simon Peyton and Donnelly, Kevin},
+ title = {System F with type equality coercions},
+ booktitle = {TLDI '07: Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation},
+ year = {2007},
+ isbn = {1-59593-393-X},
+ pages = {53--66},
+ location = {Nice, Nice, France},
+ doi = {http://doi.acm.org/10.1145/1190315.1190324},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}