Changeset e255e69 for doc

Timestamp:

Sep 3, 2018, 8:33:45 AM (6 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

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

Children:

ba80f99

Parents:

0982a05

Message:

updates

File:

• doc/bibliography/pl.bib (modified) (6 diffs)

doc/bibliography/pl.bib

@@ -939 +939 @@
     title       = {\textsf{C}$\mathbf{\forall}$ : Adding Modern Programming Language Features to C},
     year        = 2018,
+    month       = aug,
     journal     = spe,
-    note        = {Accepted, to appear},
+    note        = {http://dx.doi.org/10.1002/spe.2624},
 }
 
@@ -962 +963 @@
     comment     = {
         The evidence given is thin.
-        }
+    },
 }
 
@@ -1827 +1828 @@
     key         = {Peter Buhr},
     title       = {CS343},
-    year        = 2017,
+    year        = 2018,
     howpublished= {\href{https://www.student.cs.uwaterloo.ca/~cs343}{https://\-www.student.cs.uwaterloo.ca/\-~cs343}},
 }
@@ -3362 +3363 @@
     author      = {Peter Buhr and David Dice and Wim H. Hesselink},
     journal     = ccpe,
-    volumeopt   = 30,
-    numberopt   = 4,
+    volume      = 30,
+    number      = 18,
     year        = 2018,
-    month       = may,
+    month       = sep,
     publisher   = {John Wiley \& Sons},
     note        = {\url{https://doi-org.proxy.lib.uwaterloo.ca/10.1002/cpe.4475}}
@@ -3849 +3850 @@
     keywords    = {concurrency, critical section},
     contributer = {pabuhr@plg},
-    author      = {Dominic Duggan and G. V. Cormack and John Ophel},
+    author      = {Dominic Duggan and Gordon V. Cormack and John Ophel},
     title       = {Kinded Type Inference for Parametric Overloading},
     journal     = acta,
@@ -5855 +5856 @@
     keywords    = {Cyclone, existential types, polymorphism, type variables},
     contributer = {a3moss@plg},
-    author      = {D. Grossman},
+    author      = {Dan Grossman},
     title       = {Quantified Types in an Imperative Language},
     journal     = toplas,