Changes in / [dd40c54:1a66280]

Location:

doc

Files:

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

doc/bibliography/cfa.bib

@@ -356 +356 @@
 }
 
-@article{Cormack81,
+@article{Cor:overload,
     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,
@@ -4548 +4540 @@
 }
 
-@article{Baker82,
+@article{Bak:overload,
     keywords    = {compilation},
     contributer = {gjditchfield@plg},
@@ -5463 +5455 @@
 % 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},