Changeset 72b0573 for doc/bibliography/pl.bib

Timestamp:

Sep 18, 2018, 5:01:11 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

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:

e523b07

Parents:

56b53b2 (diff), 91a950c (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/pl.bib (modified) (7 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.
-        }
+    },
 }
 
@@ -1580 +1581 @@
 
 @mastersthesis{Delisle18,
-    author      = {Thierry Delisle },
+    author      = {Thierry Delisle},
     title       = {Concurrency in \textsf{C}$\mathbf{\forall}$},
     school      = {School of Computer Science, University of Waterloo},
@@ -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,