Changeset 727cf70f for doc/bibliography/cfa.bib

Timestamp:

Apr 3, 2017, 12:00:50 PM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

a6af031

Parents:

23063ea (diff), 1d29d46 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

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