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

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."}
@@ -2718 +2719 @@
         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}
 }
 
@@ -5589 +5599 @@
     keywords    = {Cyclone, existential types, polymorphism, type variables},
     contributer = {a3moss@plg},
-    author      = {Grossman, Dan},
+    author      = {Dan Grossman},
     title       = {Quantified Types in an Imperative Language},
     journal     = toplas,
@@ -5596 +5606 @@
     number      = {3},
     month       = may,
-    year        = {2006},
+    year        = 2006,
     issn        = {0164-0925},
-    pages       = {429--475},
-    numpages    = {47},
+    pages       = {429-475},
     url         = {http://doi.acm.org.proxy.lib.uwaterloo.ca/10.1145/1133651.1133653},
     doi         = {10.1145/1133651.1133653},
@@ -5758 +5767 @@
     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]]}
 }