Changeset 06cf47f for doc/bibliography/cfa.bib

Timestamp:

Apr 2, 2017, 10:09:56 AM (8 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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:

f2cdc44

Parents:

707446a

Message:

changes to OOPSLA paper

File:

• doc/bibliography/cfa.bib (modified) (4 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."}
@@ -5589 +5590 @@
     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 +5597 @@
     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 +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]]}
 }