Changeset 03ccadd for doc/bibliography

Timestamp:

Jun 8, 2016, 5:15:27 PM (8 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

ecb4955

Parents:

ac78e25

Message:

Update papers directory

File:

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

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