Changeset cfc3e0f for doc/bibliography/pl.bib

Timestamp:

May 7, 2018, 1:40:24 PM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, 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, with_gc

Children:

c5e5109

Parents:

01ff4e1

Message:

referee responses

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
 
@@ -782 +790 @@
     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 +863 @@
     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 +896 @@
     title       = {\textsf{C}{$\mathbf{\forall}$} Features},
     howpublished= {\url{https://plg.uwaterloo.ca/~cforall/features}},
-    note        = {Accessed: 2018-01-01},
+    optnote     = {Accessed: 2018-01-01},
 }
 
@@ -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},
 }
 
@@ -3137 +3157 @@
     year        = 2014,
     howpublished= {https://developer.gnome.org/gobject/stable/},
-    note        = {Accessed: 2017-04},
+    optnote     = {Accessed: 2017-04},
 }
 
@@ -3209 +3229 @@
 
 % 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 +3790 @@
     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 +4715 @@
     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 +4725 @@
     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 +5787 @@
     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 +6792 @@
     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 +7117 @@
     year        = 2017,
     howpublished= {\url{https://wiki.gnome.org/Projects/Vala/Manual}},
-    note        = {Accessed: 2017-04}
+    optnote     = {Accessed: 2017-04}
 }