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

File:

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

doc/bibliography/pl.bib

@@ -40 +40 @@
 % @string{mathann="Math. Ann."}
 
-@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]},
-}
-
 % A
 
@@ -790 +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}}},
-    optnote     = {Accessed: 2016-09},
+    note        = {Accessed: 2016-09},
 }
 
@@ -863 +855 @@
     keywords    = {ANSI C 89},
     contributer = {gjditchfield@plg},
-    author      = {C90},
-    title       = {Programming Languages -- {C}},
+    title       = {American National Standard for Information Systems -- Programming Language -- {C}},
     organization= {American National Standards Institute},
-    address     = {New York, NY, U.S.A.},
-    year        = 1990,
-    note        = {ANSI/ISO 9899-1990}
+    address     = {1430 Broadway, New York, New York  10018},
+    month       = dec,
+    year        = 1989,
+    note        = {X3.159-1989}
 }
 
@@ -896 +888 @@
     title       = {\textsf{C}{$\mathbf{\forall}$} Features},
     howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}},
-    optnote     = {Accessed: 2018-01-01},
+    note        = {Accessed: 2018-01-01},
 }
 
@@ -1648 +1640 @@
 }
 
-@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},
@@ -2775 +2755 @@
 @misc{GCCExtensions,
     contributer = {a3moss@uwaterloo.ca},
-    key         = {C Extensions},
+    key         = {{GNU}},
     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}},
-    optnote     = {Accessed: 2017-04-02},
+    note        = {Accessed: 2017-04-02},
 }
 
@@ -3157 +3137 @@
     year        = 2014,
     howpublished= {https://developer.gnome.org/gobject/stable/},
-    optnote     = {Accessed: 2017-04},
+    note        = {Accessed: 2017-04},
 }
 
@@ -3229 +3209 @@
 
 % 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,
@@ -3790 +3760 @@
     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,
@@ -4715 +4685 @@
     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}},
-    optnote     = {Accessed: 2018-03}
+    note        = {Accessed: 2018-03}
 }
 
@@ -4725 +4695 @@
     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}},
-    optnote     = {Accessed: 2017-04}
+    note        = {Accessed: 2017-04}
 }
 
@@ -5787 +5757 @@
     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,
@@ -6792 +6762 @@
     title       = {{TIOBE} Index},
     howpublished= {\href{http://www.tiobe.com/tiobe_index}{http://\-www.tiobe.com/\-tiobe\_index}},
-    optnote     = {Accessed: 2018-09},
+    note        = {Accessed: 2018-09},
 }
 
@@ -7117 +7087 @@
     year        = 2017,
     howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
-    optnote     = {Accessed: 2017-04}
+    note        = {Accessed: 2017-04}
 }