Changeset d6b7d1d for doc

Timestamp:

Sep 2, 2024, 11:12:40 AM (2 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

cdbb909

Parents:

b965774

Message:

citation updates

File:

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

doc/bibliography/pl.bib

@@ +1 @@
+
 % Conventions: uncross-referenced entries appear first, then
 %    cross-referenced entries.  In both groups, entries are sorted by their
@@ -5850 +5851 @@
     contributer = {pabuhr@plg},
     author      = {Leslie Lamport},
-    title       = {A New Solution of Dijkstra's Concurrent Programming Problem},
+    title       = {A New Solution of {D}ijkstra's Concurrent Programming Problem},
     journal     = cacm,
     month       = aug,
@@ -6809 +6810 @@
     year        = 1981,
     series      = {Series in Computer Science}
+}
+
+@inproceedings{Damas82,
+    contributer = {pabuhr@plg},
+    author      = {Luis Damas and Robin Milner},
+    title       = {Principal Type-Schemes for Functional Programs},
+    publisher   = {Association for Computing Machinery},
+    address     = {New York, NY, USA},
+    booktitle   = {Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
+    location    = {Albuquerque, New Mexico},
+    series      = {POPL'82}
+    year        = 1982,
+    pages       = {207-212},
 }