Changes in doc/bibliography/pl.bib [1f8865e:a8de0f4]

File:

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

doc/bibliography/pl.bib

@@ -782 +782 @@
     howpublished= {\href{http://www.boost.org/doc/libs/1_61_0/libs/coroutine/doc/html/index.html}
                   {{http://www.boost.org/\-doc/\-libs/1\_61\_0/\-libs/\-coroutine/\-doc/\-html/\-index.html}}},
-    note        = {Accessed: 2016-09},
+    optnote     = {Accessed: 2016-09},
 }
 
@@ -855 +855 @@
     keywords    = {ANSI C 89},
     contributer = {gjditchfield@plg},
-    title       = {American National Standard for Information Systems -- Programming Language -- {C}},
+    author      = {C90},
+    title       = {Programming Languages -- {C}},
     organization= {American National Standards Institute},
-    address     = {1430 Broadway, New York, New York  10018},
-    month       = dec,
-    year        = 1989,
-    note        = {X3.159-1989}
+    address     = {New York, NY, U.S.A.},
+    year        = 1990,
+    note        = {ANSI/ISO 9899-1990}
 }
 
@@ -888 +888 @@
     title       = {\textsf{C}{$\mathbf{\forall}$} Features},
     howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}},
-    note        = {Accessed: 2018-01-01},
+    optnote     = {Accessed: 2018-01-01},
 }
 
@@ -900 +900 @@
     address     = {Waterloo, Ontario, Canada, N2L 3G1},
     note        = {\href{http://plg.uwaterloo.ca/theses/EstevesThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-EstevesThesis.pdf}},
+}
+
+@misc{CFAStackEvaluation,
+    author      = {Aaron Moss},
+    title       = {\textsf{C}$\mathbf{\forall}$ Stack Evaluation Programs},
+    year        = 2018,
+    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/evaluation.zip}{https://plg.uwaterloo.ca/\-\-$\sim$cforall/\-StackEvaluation.zip}},
+    optnote     = {[Accessed May 2018]},
 }
 
@@ -1640 +1648 @@
 }
 
+@misc{Taylor10,
+    keywords    = {const, poisoning},
+    contributer = {pabuhr@plg},
+    author      = {Ian Lance Taylor},
+    title       = {const},
+    month       = oct,
+    year        = 2010,
+    howpublished= {\href{https://www.airs.com/blog/archives/428}
+                  {https://www.airs.com/\-blog/\-archives/\-428}},
+    optnote     = {Accessed: 2018-05},
+}
+
 @phdthesis{Ditchfield92,
     keywords    = {C, parametric polymorphism, overloading},
@@ -2755 +2775 @@
 @misc{GCCExtensions,
     contributer = {a3moss@uwaterloo.ca},
-    key         = {{GNU}},
+    key         = {C Extensions},
     author      = {{C Extensions}},
     title       = {Extensions to the {C} Language Family},
     year        = 2014,
     howpublished= {\href{https://gcc.gnu.org/onlinedocs/gcc-4.7.2/gcc/C-Extensions.html}{https://\-gcc.gnu.org/\-onlinedocs/\-gcc-4.7.2/\-gcc/\-C\-Extensions.html}},
-    note        = {Accessed: 2017-04-02},
+    optnote     = {Accessed: 2017-04-02},
 }
 
@@ -2947 +2967 @@
     month       = jul, year = 1987,
     volume      = 4, number = 4, pages = {9-16}
+}
+
+@misc{Sutter05c,
+    contributer = {pabuhr@plg},
+    title       = {The Free Lunch Is Over: A Fundamental Turn Toward Concurrency in Software},
+    author      = {Herb Sutter},
+    howpublished= {\url{http://www.gotw.ca/publications/concurrency-ddj.htm}},
+    year        = {2005},
+    note        = {originally Dr. Dobb's Journal 30(3)},
 }
 
@@ -3137 +3166 @@
     year        = 2014,
     howpublished= {https://developer.gnome.org/gobject/stable/},
-    note        = {Accessed: 2017-04},
+    optnote     = {Accessed: 2017-04},
 }
 
@@ -3209 +3238 @@
 
 % H
+
+@manual{Haskell10,
+    keywords    = {Haskell},
+    contributer = {pabuhr@plg},
+    author      = {Haskell},
+    title       = {Haskell 2010 Language Report},
+    edition     = {{S}imon {M}arlow},
+    year        = 2010,
+    note        = {\href{https://haskell.org/definition/haskell2010.pdf}{https://haskell.org/\-definition/\-haskell2010.pdf}},
+}
 
 @article{Michael04a,
@@ -3760 +3799 @@
     keywords    = {concurrency, critical section},
     contributer = {pabuhr@plg},
-    author      = {Dominic Duggan and Gordon V. Cormack and John Ophel},
+    author      = {Dominic Duggan and G. V. Cormack and John Ophel},
     title       = {Kinded Type Inference for Parametric Overloading},
     journal     = acta,
@@ -4685 +4724 @@
     year        = 2015,
     howpublished= {\href{https://developer.apple.com/library/content/documentation/General/Conceptual/DevPedia-CocoaCore/ObjectiveC.html}{https://developer.apple.com/\-library/\-content/\-documentation/\-General/\-Conceptual/\-DevPedia-\-CocoaCore/\-ObjectiveC.html}},
-    note        = {Accessed: 2018-03}
+    optnote     = {Accessed: 2018-03}
 }
 
@@ -4695 +4734 @@
     year        = 2015,
     howpublished= {\href{https://developer.apple.com/library/content/documentation/Xcode/Conceptual/RN-Xcode-Archive/Chapters/xc7_release_notes.html}{https://developer.apple.com/\-library/\-content/\-documentation/\-Xcode/\-Conceptual/\-RN-Xcode-Archive/\-Chapters/\-xc7\_release\_notes.html}},
-    note        = {Accessed: 2017-04}
+    optnote     = {Accessed: 2017-04}
 }
 
@@ -5757 +5796 @@
     keywords    = {Cyclone, existential types, polymorphism, type variables},
     contributer = {a3moss@plg},
-    author      = {Dan Grossman},
+    author      = {D. Grossman},
     title       = {Quantified Types in an Imperative Language},
     journal     = toplas,
@@ -6762 +6801 @@
     title       = {{TIOBE} Index},
     howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
-    note        = {Accessed: 2018-09},
+    optnote     = {Accessed: 2018-09},
 }
 
@@ -7087 +7126 @@
     year        = 2017,
     howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
-    note        = {Accessed: 2017-04}
+    optnote     = {Accessed: 2017-04}
 }