Changes in doc/bibliography/cfa.bib [03ccadd:e229c22]

File:

• doc/bibliography/cfa.bib (modified) (4 diffs)

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},