version final

brunom · Nov 8, 2012 · 17caf46 · 17caf46
1 parent d3e2883
commit 17caf46
Show file tree

Hide file tree

Showing 4 changed files with 2,901 additions and 71 deletions.
diff --git a/Makefile b/Makefile
@@ -3,7 +3,8 @@ all: paper.pdf paper.exe
 run : paper.exe
 	time ./paper.exe
 
-GHC=ghc-7.6.1
+GHC=ghc
+%GHC=ghc-7.6.1
 %GHC=ghc-7.4.2
 
 paper.exe : paper.hs

diff --git a/biblio.bib b/biblio.bib
@@ -84,36 +84,22 @@ @inproceedings{Jel10
  year = {2010},
   location = {Hagenberg, Austria},
   publisher = {ACM},
-  pages = {143--154}, 
-
-% isbn = {978-1-4503-0132-9},
-% address = {New York, NY, USA},
-% numpages = {12},
-% url = {http://doi.acm.org/10.1145/1836089.1836108},
-% doi = {10.1145/1836089.1836108},
-% acmid = {1836108},
-% keywords = {closed classes, generic programming, higher-rank polymorphism, induction, type equality, type families, type-level programming, type-level reification},
+  pages = {143--154}
+}   
 
 
 @inproceedings{Jones99lightweightextensible,
-    author = {Mark P. Jones and Simon Peyton Jones},
+    author = {Mark P. Jones and Simon {Peyton Jones}},
     title = {Lightweight Extensible Records for Haskell},
     booktitle = {Proceedings of the 1999 Haskell Workshop},
     address  = {{P}aris, {F}rance},
     month = "October",
     year = {1999}
 }
 
-@%MISC{Jones99lightweightextensible,
-    author = {Mark P. Jones and Simon Peyton Jones},
-    title = {Lightweight Extensible Records for Haskell},
-    booktitle = {Proceedings of the 1999 Haskell Workshop},
-    location  = {{P}aris, {F}rance},
-    year = {1999}
-}
 
 @misc{LabeledFunctions,
-  author = {Simon Peyton Jones and Greg Morrisett},
+  author = {Simon {Peyton Jones} and Greg Morrisett},
   title = "{A proposal for records in Haskell}",
   url = {http://research.microsoft.com/en-us/um/people/simonpj/ haskell/records.html},
   year = {2003}
@@ -187,7 +173,7 @@ @article{hudak-building
 	Year = 1996}
 
 @article{Chak05,
- author = {Chakravarty, Manuel M. T. and Keller, Gabriele and Jones, Simon Peyton and Marlow, Simon},
+ author = {Chakravarty, Manuel M. T. and Keller, Gabriele and {Peyton Jones}, Simon  and Marlow, Simon},
  title = {Associated types with class},
  journal = {SIGPLAN Notices},
  issue_date = {January 2005},
@@ -211,7 +197,7 @@ @article{Chak05
 
 @inproceedings{1086397,
 	Address = {New York, NY, USA},
-	Author = {Chakravarty,, Manuel M. T. and Keller,, Gabriele and Jones,, Simon Peyton},
+	Author = {Chakravarty,, Manuel M. T. and Keller,, Gabriele and {Peyton Jones},, Simon },
 	Booktitle = {ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming},
 	Date-Modified = {2009-06-08 12:10:55 +0200},
 	Pages = {241--253},
@@ -368,7 +354,7 @@ @inproceedings{ReynoldsExpression
 
 @inproceedings{Jon00,
 	Address = {London, UK},
-	Author = {Jones, Mark, P.},
+	Author = {P. Jones, Mark },
 	Booktitle = {ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems},
 	Date-Modified = {2009-06-08 12:10:05 +0200},
 	Pages = {230--244},
@@ -425,7 +411,7 @@ @inproceedings{SV06
 
 @inproceedings{MPW00,
 	Address = {London, UK},
-	Author = {de Moor, Oege and Peyton Jones, Simon, L. and Wyk, Eric, Van},
+	Author = {de Moor, Oege and {Peyton Jones}, Simon, L. and Wyk, Eric, Van},
 	Booktitle = {GCSE '99: Proceedings of the First International Symposium on Generative and Component-Based Software Engineering},
 	Isbn = {3-540-41172-0},
 	Pages = {121--133},
@@ -434,7 +420,7 @@ @inproceedings{MPW00
 	Year = {2000}}
 
 @inproceedings{PJM97,
-	Author = {Peyton~Jones, Simon and Jones, Mark and Meijer, Erik},
+	Author = {{Peyton Jones}, Simon and Jones, Mark and Meijer, Erik},
 	Booktitle = {Haskell Workshop},
 	Month = {June},
 	Pubcat = {external},
@@ -511,7 +497,7 @@ @inproceedings{syb2
 	Year = {2004}}
 
 @misc{ticket,
-	Author = {Petruzza, JC and Claessen, Koen and Peyton~Jones, Simon},
+	Author = {Petruzza, JC and Claessen, Koen and {Peyton Jones}, Simon},
 	Note = {GHC Ticket 1544},
 	Title = {Derived Read instances for recursive datatypes with infix constructors are too inefficient},
 	Url = {http://hackage.haskell.org/trac/ghc/ticket/1544},
@@ -591,7 +577,7 @@ @article{Mcb07
 	Bdsk-Url-1 = {http://dx.doi.org/10.1017/S0956796807006326}}
 
 @book{Haskell98Report,
-	Author = {Peyton~Jones, Simon},
+	Author = {{Peyton Jones}, Simon},
 	Booktitle = {Haskell 98 Language and Libraries: the Revised Report},
 	Citeulike-Article-Id = {2844321},
 	Institution = {Cambridge University Press},
@@ -602,7 +588,7 @@ @book{Haskell98Report
 	Year = {2003}}
 
 @inproceedings{SPJ02,
-	Author = {Sheard, Tim and Peyton~Jones, Simon},
+	Author = {Sheard, Tim and {Peyton Jones}, Simon},
 	Booktitle = {Proceedings of the ACM SIGPLAN workshop on Haskell},
 	Isbn = {1-58113-605-6},
 	Location = {Pittsburgh, Pennsylvania},
@@ -632,7 +618,7 @@ @inproceedings{Joh98
 
 @article{PVW+06,
 	Address = {New York, NY, USA},
-	Author = {Peyton~Jones, Simon and Vytiniotis, Dimitrios and Weirich, Stephanie and Washburn, Geoffrey},
+	Author = {{Peyton Jones}, Simon and Vytiniotis, Dimitrios and Weirich, Stephanie and Washburn, Geoffrey},
 	Date-Modified = {2009-03-01 13:47:59 +0100},
 	Issn = {0362-1340},
 	Journal = {SIGPLAN Not.},
@@ -706,7 +692,7 @@ @techreport{PPTr2004
 	Year = 2004}
 
 @article{Schrijvers2008,
- author = {Schrijvers, Tom and Peyton Jones, Simon and Chakravarty, Manuel and Sulzmann, Martin},
+ author = {Schrijvers, Tom and {Peyton Jones}, Simon and Chakravarty, Manuel and Sulzmann, Martin},
  title = {Type checking with open type functions},
  journal = {SIGPLAN Not.},
  issue_date = {September 2008},