X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Fdsd-paper.git;a=blobdiff_plain;f=clash.bib;h=5bec9134a33a3a08bd425c90fc44a42b8b97752d;hp=f3aeaa5fd49035bf74259dcbc94d5d2d96f389ba;hb=abecfadf45aab74c21700d5ed8889e3c0b168f28;hpb=b4f8f6d5cfa441b0e89d9ffd67a7cb1d30a9ca02

diff --git a/clash.bib b/clash.bib
index f3aeaa5..5bec913 100644
--- a/clash.bib
+++ b/clash.bib
@@ -341,6 +341,24 @@
   timestamp = {2010.02.24}
 }
 
+@INPROCEEDINGS{Sulzmann2007,
+  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, Nice, France}},
+  year = {2007},
+  pages = {53--66},
+  address = {{New York, NY, USA}},
+  month = {January},
+  publisher = {{ACM}},
+  doi = {http://doi.acm.org/10.1145/1190315.1190324},
+  isbn = {1-59593-393-X},
+  location = {Nice, Nice, France},
+  owner = {darchon},
+  timestamp = {2009.10.23}
+}
+
 @ELECTRONIC{ghc,
   author = {{The GHC Team}},
   title = {{The Glasgow Haskell Compiler}},