Changes in / [1a66280:dd40c54]

Location:

doc

Files:

• bibliography/cfa.bib (modified) (4 diffs)
• papers/Baker82.pdf (added)
• papers/Bilson.pdf (added)
• papers/Bilson03.pdf (added)
• papers/Cormack81.pdf (added)
• papers/Ditchfield92.pdf (added)
• papers/Grossman06.pdf (added)
• papers/matrix.pdf (deleted)
• papers/meta.pdf (deleted)

doc/bibliography/cfa.bib

@@ -356 +356 @@
 }
 
-@article{Cor:overload,
+@article{Cormack81,
     keywords    = {},
     contributer = {gjditchfield@plg},
@@ -2922 +2922 @@
     }
 }
+
+@unpublished{Bilson,
+        keywords = {generic programming, generics, polymorphism},
+        contributor  {a3moss@plg},
+        author = {Richard C. Bilson and Glen Ditchfield and Peter A. Buhr},
+        title = {Generic Programming with Inferred Models},
+}
+
 
 @article{Haskell,
@@ -4540 +4548 @@
 }
 
-@article{Bak:overload,
+@article{Baker82,
     keywords    = {compilation},
     contributer = {gjditchfield@plg},
@@ -5455 +5463 @@
 % Q
 
+@article{Grossman06,
+ keywords = {Cyclone, existential types, polymorphism, type variables},
+ contributer = {a3moss@plg},
+ author = {Grossman, Dan},
+ title = {Quantified Types in an Imperative Language},
+ journal = toplas,
+ issue_date = {May 2006},
+ volume = {28},
+ number = {3},
+ month = may,
+ year = {2006},
+ issn = {0164-0925},
+ pages = {429--475},
+ numpages = {47},
+ url = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
+ doi = {10.1145/1133651.1133653},
+ acmid = {1133653},
+ publisher = {ACM},
+ address = {New York, NY, USA},
+}
+
 @article{Hoare61,
     keywords    = {quick sort},