Changes in doc/bibliography/cfa.bib [ee89ad43:03d416f]

File:

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

doc/bibliography/cfa.bib

@@ -35 +35 @@
 @string{osr="Operating Systems Review"}
 @string{pldi="Programming Language Design and Implementation"}
-@string{toplas="Transactions on Programming Languages and Systems"}
 @string{mathann="Mathematische Annalen"}
 % @string{mathann="Math. Ann."}
@@ -2719 +2718 @@
         implementations are the same.
     }
-}
-
-@online{GCCExtensions,
-    contributer = {a3moss@uwaterloo.ca},
-    key = {{GNU}},
-    title = {Extensions to the {C} Language Family},
-    year = 2014,
-    url = {https://gcc.gnu.org/onlinedocs/gcc-4.7.2/gcc/C-Extensions.html},
-    urldate = {2017-04-02}
 }
 
@@ -5599 +5589 @@
     keywords    = {Cyclone, existential types, polymorphism, type variables},
     contributer = {a3moss@plg},
-    author      = {Dan Grossman},
+    author      = {Grossman, Dan},
     title       = {Quantified Types in an Imperative Language},
     journal     = toplas,
@@ -5606 +5596 @@
     number      = {3},
     month       = may,
-    year        = 2006,
+    year        = {2006},
     issn        = {0164-0925},
-    pages       = {429-475},
+    pages       = {429--475},
+    numpages    = {47},
     url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
     doi         = {10.1145/1133651.1133653},
@@ -5767 +5758 @@
     month       = dec,
     year        = 1988,
-}
-
-@mastersthesis{Schluntz17,
-    author      = {Robert Schluntz},
-    title       = {Resource Management and Tuples in C$\mathbf{\forall}$},
-    school      = {School of Computer Science, University of Waterloo},
-    year        = 2017,
-    address     = {Waterloo, Ontario, Canada, N2L 3G1},
-    note        = {[[unpublished]]}
 }