Add reference about Core's operational semantics.

[matthijs/master-project/report.git] / Report.bib

diff --git a/Report.bib b/Report.bib
index 549b958d46f84179a08adc75a53ab575c6e02032..3e64e11410bc1dd802dc09255e1ba7467d615d0e 100644 (file)
--- a/Report.bib
+++ b/Report.bib
@@ -45,4 +45,50 @@
  address = {New York, NY, USA},
 }
 
-% vim: set paste:
+@inproceedings{jones96,
+    author = {Simon L Peyton Jones},
+    booktitle = {Programming Languages and Systems — ESOP '96},
+    title = {Compiling Haskell by program transformation: A report from the trenches},
+       pages = {18--44},
+    year = {1996},
+    doi = {10.1007/3-540-61055-3_27},
+    url = {http://www.springerlink.com/content/yjnv70x758167327},
+       isbn = {978-3-540-61055-7},
+       publisher={Springer},
+       location={Berlin / Heidelberg},
+}
+
+@article{hughes98,
+    author = {John Hughes},
+    title = {Generalising Monads to Arrows},
+    journal = {Science of Computer Programming},
+    year = {1998},
+    volume = {37},
+    pages = {67--111},
+}    
+
+@inproceedings{paterson01,
+ author = {Paterson, Ross},
+ title = {A new notation for arrows},
+ booktitle = {ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming},
+ year = {2001},
+ isbn = {1-58113-415-0},
+ pages = {229--240},
+ location = {Florence, Italy},
+ doi = {http://doi.acm.org/10.1145/507635.507664},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+
+@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},
+}