Changes in doc/bibliography/pl.bib [bace538:1f9a4d0]

File:

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

doc/bibliography/pl.bib

@@ -990 +990 @@
 }
 
-@techreport{cfa-cc,
-    keywords    = {Cforall, cfa-cc, transpiler},
-    contributer = {pabuhr@plg},
-    title       = {{\textsf{cfa-cc}} Developer's Reference Manual},
-    author      = {Fangren Yu},
-    institution = {School of Computer Science},
-    address     = {University of Waterloo, Waterloo, Ontario, Canada},
-    month       = aug,
-    year        = {2020},
-    note        = {\href{https://cforall.uwaterloo.ca/doc/Fangren_Yu_Report_S20.pdf}{https://\-cforall.uwaterloo.ca/\-doc/\-Fangren\_Yu\_Report\_S20.pdf}},
-}
-
 @article{Moss18,
     keywords    = {type systems, polymorphism, tuples, Cforall},
@@ -1052 +1040 @@
     keywords    = {type system, generic type, resolution algorithm, type environment, Cforall},
     author      = {Aaron Moss},
-    title       = {\textsf{C}\,$\mathbf{\forall}$ Type System Implementation},
+    title       = {\textsf{C}$\mathbf{\forall}$ Type System Implementation},
     school      = {School of Computer Science, University of Waterloo},
     year        = 2019,
@@ -1173 +1161 @@
     keywords    = {ctrie, concurrent map},
     contributer = {a3moss@uwaterloo.ca}, 
-    title       = {Cache-aware lock-free concurrent hash tries},
-    author      = {Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
-    institution = {EPFL},
-    year        = {2011}
+    title       ={Cache-aware lock-free concurrent hash tries},
+    author      ={Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
+    institution ={EPFL},
+    year        ={2011}
 }
 
@@ -3940 +3928 @@
     school      = {School of Computer Science, University of Waterloo},
     year        = 2003,
-    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
+    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     note        = {\href{http://plg.uwaterloo.ca/theses/BilsonThesis.pdf}{http://\-plg.uwaterloo.ca/\-theses/\-BilsonThesis.pdf}},
 }
@@ -5222 +5210 @@
 }
 
-@manual{gcc-nested-func,
-    keywords    = {gcc nested functions},
-    contributer = {pabuhr@plg},
-    key         = {gcc nested functions},
-    title       = {Nested Functions},
-    organization= {{gcc} 9.3 Manual},
-    year        = 2019,
-    note        = {\href{https://gcc.gnu.org/onlinedocs/gcc-9.3.0/gcc/Nested-Functions.html}{https://\-gcc.gnu.org/\-onlinedocs/\-gcc-9.3.0/\-gcc/\-Nested-Functions.html}},
-}
-
 @article{Haddon77,
     keywords    = {monitors, nested monitor calls},
@@ -7435 +7413 @@
 }
 
-@manual{POSIX17,
-    keywords    = {POSIX, Standard},
-    contributer = {pabuhr@plg},
-    key         = {POSIX},
-    title       = {1003.1 Standard for Information Technology -- Portable Operating System Interface (POSIX), Base Specifications, Issue 7},
-    organization= {IEEE and The Open Group},
-    year        = 2017,
-    note        = {\href{https://pubs.opengroup.org/onlinepubs/9699919799}{https://\-pubs.opengroup.org/\-onlinepubs/\-9699919799}},
-}
-
 @inproceedings{ML:NJ,
     keywords    = {continuations, ML},