updated hopl.bib and copied it to standardml.bib and updated index.html

history/hopl.bib

@@ -1178,19 +1178,6 @@ @article{mlj-monads:99
 doi = {10.1016/S1571-0661(05)80280-4}
 }
 
-@inproceedings{generics-for-dotnet:2001,
-author = {Kennedy, Andrew and Syme, Don},
-title = {Design and Implementation of Generics for the {.NET} Common Language Runtime},
-booktitle = PLDI01,
-year = {2001},
-month = PLDI01:month,
-publisher = acm:pub,
-address = acm:addr,
-pages = {1–12},
-location = PLDI01:loc,
-doi = {10.1145/378795.378797},
-}
-
 @article{benton2001exceptional,
 author = {Nick Benton and Andrew Kennedy},
 title = {Exceptional syntax},
@@ -1885,6 +1872,7 @@ @inproceedings{chen-erwig:2014
 }
 
 % NOT REFERENCED
+% $DESIGN/types/weak-poly/Chen-Odersky-LamCalcAssignment-TACS-94.pdf
 @inproceedings{chen-oderski:TACS94,
 author = {Kung Chen and Martin Odersky},
 title = {A type system for a lambda calculus with assignments},
@@ -1894,7 +1882,8 @@ @inproceedings{chen-oderski:TACS94
 publisher = springer:pub,
 address = springer:addr,
 year = 1994,
-pages = {347--364}
+pages = {347--364},
+doi = {10.1007/3-540-57887-0_103}
 }
 
 % $DESIGN/types/type\ errors/Chitil-ICFP-2001.pdf
@@ -2418,6 +2407,19 @@ @inproceedings{mixin-up:2008
 doi = {10.1145/2450136.2450137}
 }
 
+% NOT REFERENCED
+% $DESIGN/types/weak-poly/Duba-Harper-MacQueen-typing-continations-POPL-1991.pdf
+@inproceedings{duba-harper-macqueen:POPL1991,
+author = {Bruce Duba and Robert Harper and David MacQueen},
+booktitle = POPL18,
+publisher = ACM:pub,
+address = ACM:addr,
+year = POPL18:year,
+month = jan,
+pages = {163-173},
+doi = {10.1145/99583.99608}             
+}
+
 % NOT REFERENCED
 @inproceedings{duggan:1994,
 author = {Dominic Duggan and Constantinos Sourelis},
@@ -2550,7 +2552,7 @@ @inproceedings{elsman:ICFP:99
 }
 
 % SML-history/Applications/carillon.pdf
-@Manual{ carillon:1999,
+@Manual{carillon:1999,
 author = {Martin Elsman and Jeffrey S. Foster and Alexander Aiken},
 title = {Carillon --- A System to Find Y2K Problems in C Programs},
 note = {User's Manual},
@@ -2577,7 +2579,7 @@ @inproceedings{sml-server:2003
 }
 
 % NOT REFERENCED
-% SML-history/Implementation/regions/Elsman-GC-safety-regions-TLDI-2003.pdf
+% $IMPLEMENTATION/regions/Elsman-GC-safety-regions-TLDI-2003.pdf
 @inproceedings{elsman:tldi03,
 author = {Martin Elsman},
 title = {Garbage Collection Safety for Region-based Memory Management},
@@ -2589,6 +2591,20 @@ @inproceedings{elsman:tldi03
 doi = {10.1145/640136.604190}
 }
 
+% NOT REFERENCED
+% $IMPLEMENTATION/papers/Elsman-pickling-TFP-05.pdf
+@inproceedings{elsman:pickle:2005,
+author = {Martin Elsman},
+title = {Type-Specialized Serialization with Sharing},
+booktitle = {TFP '05: Sixth Symposium on Trends in Functional Programming},
+location = {Talinn, Estonia},
+publisher = {intellect},
+address = {Bristol, UK},
+month = sep,
+year = {2005},
+pages = {47--62}
+}
+
 % NOT REFERENCED
 % SML-history/Implementation/MLKit/Elsman-recompilation-ITU-2008.pdf
 @TechReport{elsman:sepcomp:2008,
@@ -2662,11 +2678,13 @@ @inproceedings{elsman:RBMM-GGC:2020
 number = {12007}
 }
 
+% SML-history/lang\ histories/PAL/Evans-PAL-ACM-1968.pdf
 @inproceedings{PAL:1,
 author = {Arthur {Evans, Jr.}},
 title = {{PAL} -- a language designed for teaching programming linguistics},
 booktitle = ACM68,
-publisher = acm:pub, address = acm:addr,
+publisher = {Brandin Systems Press},
+address = {Princeton, N. J., USA}
 year = {1968}, month = aug,
 pages = {395--403},
 doi = {10.1145/800186.810604}
@@ -2737,6 +2755,18 @@ @Article{class-types-in-moby
 doi = {10.1006/inco.2002.3169}
 }
 
+% NOT REFERENCED
+% $DESIGN/modules/papers/Flatt-Felleisen-PLDI-1998.pdf
+@inproceedings{flatt-felleisen:PLDI98,
+author = {Matthew Flatt and Matthias Felleisen},
+title = {{Units}: cool modules for {HOT} languages},
+booktitle = PLDI98,
+publisher = ACM:pub,
+address = ACM:addr,
+month = PLDI98:month,
+pages = {236--248}
+}
+
 @article{manticore-parallelism:2010,
 author = {Fluet, Matthew and Rainey, Mike and Reppy, John and Shaw, Adam},
 title = {Implicitly Threaded Parallelism in Manticore},
@@ -2853,6 +2883,20 @@ @book{SMLbasisbook
 year = 2004
 }
 
+% $DESIGN/types/weak-poly/Garrigue-value-restriction-FLOPS-2004.pdf
+@inproceedings{garrigue:FLOPS:2004,
+author = {Jacques Garrigue},
+title = {Relaxing the Value Restriction},
+booktitle = {FLOPS 2004: Functional and Logic Programming},
+publisher = springer:pub,
+address = springer:addr,
+series = LNCS,
+numer = {2998},
+year = {2004},
+pages = {196--213},
+doi = {10.1007/978-3-540-24754-8_15}
+}
+
 % NOT REFERENCED
 @article{garrigue-nakata:2011,
 author = {Jacques Garrigue and Keiko Nakata},
@@ -3385,7 +3429,7 @@ @techreport{ECS-LFCS-91-162
 
 % NEED ARCHIVE LINK (not referenced)
 % $DESIGN/types/weak-poly/Harper-SML-meeting-1985_05.pdf
-% DO NOT CITE requested
+% DO NOT CITE requested, use IPL 1994 reference below
 @unpublished{harper:poly-refs:91b,
 author = {Robert Harper},
 title = {Yet another approach to polymorphic references},
@@ -3457,6 +3501,18 @@ @techreport{CMU-CS-94-104
 numpages = 28
 }
 
+% $DESIGN/types/Harper-Lillibridge-LASC-1993.pdf
+@article{harper-lillibridge:1993,
+author = {Robert Harper and Mark Lillibridge},
+title = {Polymorphic type assignment and {CPS} conversion},
+journal = LASC,
+volume = 6,
+number = {3--4},
+year = {1993},
+pages = {361--380},
+doi = {10.1007/BF01019463}
+}
+
 % $DESIGN/modules/papers/1994-01-POPL-Harper-Lillibridge-HO-modules-with-sharing.pdf
 @inproceedings{harper-lillibridge:1994,
 author = {Robert Harper and Mark Lillibridge},
@@ -3639,6 +3695,21 @@ @article{hindley:newman:2008
 doi = {10.1093/logcom/exm001}
 }
 
+% $DESIGN/modules/papers/Hirschowitz-mixin-modules-FLOPS-2004.pdf
+@inproceedings{hirschowitz:FLOPS:2004,
+author = {Tom Hirschowitz},
+title = {Rigid Mixin Modules},
+booktitle = {FLOPS 2004: Functional and Logic Programming},
+publisher = springer:pub,
+address = springer:addr,
+series = LNCS,
+numer = {2998},
+year = {2004},
+pages = {214--228},
+doi = {10.1007/978-3-540-24754-8_16}
+}
+
+
 @article{hirschowitz-leroy:2005,
 author = {Tom Hirschowitz and Xavier Leroy},
 title = {Mixin modules in a call-by-value setting},
@@ -3653,6 +3724,16 @@ @article{hirschowitz-leroy:2005
 doi = {10.1145/1086642.1086644}
 }
 
+% $DESIGN/types/weak-poly/Hoang-Mitchell-Viswanathan-weak-poly-SMLNJ-LICS-1993.pdf
+@inproceedings{hoang-mitchell-viswanathan:1993,
+author = {M. Hoang and J. Mitchell and Ramesh Viswanathan},
+title = {Standard {ML-NJ} weak polymorphism and imperative constructs},
+booktitle = {LICS '93: Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science},
+month = jul,
+year = {1993},
+doi = 10.1109/LICS.1993.287604}
+}
+
 @inproceedings{holmstrom:pfl:83,
 author = {S. Holmstr{\"{o}}m},
 title = {{PFL}: A functional language for parallel programming},
@@ -3939,12 +4020,42 @@ @article{kamareddine-seldin-wells:2016
 }
 
 @phdthesis{kennedy:phd-thesis:96,
-author = "Andrew J. Kennedy",
-title = "Programming languages and dimensions",
+author = {Andrew J. Kennedy},
+title = {Programming languages and dimensions},
 year = 1996, month = apr,
-school = "University of Cambridge, Computer Science Department",
-address = "Cambridge, UK",
-note = "Also available as Technical Report CL-TR-391"
+school = {University of Cambridge, Computer Science Department},
+address = {Cambridge, UK},
+note = {Also available as Technical Report CL-TR-391}
+}
+
+@inproceedings{generics-for-dotnet:2001,
+author = {Kennedy, Andrew and Syme, Don},
+title = {Design and Implementation of Generics for the {.NET} Common Language Runtime},
+booktitle = PLDI01,
+year = {2001},
+month = PLDI01:month,
+publisher = acm:pub,
+address = acm:addr,
+pages = {1–12},
+location = PLDI01:loc,
+doi = {10.1145/378795.378797},
+}
+
+% NOT REFERENCED
+% $IMPLEMENTATION/papers/Kennedy-picklercombinators-JFP-2004.pdf
+@article{kennedy:pickler:2004,
+author = {Andrew J. Kennedy},
+title = {Pickler Combinators}
+journal = JFP,
+volume = {14},
+number = {6},
+month = nov,
+year = {2004},
+publisher = CUP:pub,
+address = CUP:addr,
+pages = {727--739},
+doi = {10.1017/S0956796804005209},
+note = {\url{https://github.com/diku-dk/pickle/blob/master/README.md}}
 }
 
 @inproceedings{kennedy:cwcc:07,
@@ -4032,6 +4143,7 @@ @inproceedings{kuan-macqueen:2009
 doi = {10.1007/978-3-642-16478-1_13}
 }
 
+% $DESIGN/modules/papers/Kuan-phd-thesis-2010.pdf
 @phdthesis{kuan:phd:2010,
 author = {George Kuan},
 title = {A True Higher-Order Module System},
@@ -4316,6 +4428,19 @@ @inproceedings{lerner:searching-type-error:2007
 doi = {10.1145/1250734.1250783}
 }
 
+% $DESIGN/types/weak-poly/Leroy-Weis-POPL-1991.pdf
+@inproceedings{leroy-weis:POPL:1991,
+author = {Xavier Leroy and Pierre Weis},
+title = {Polymorphic type inference and assignment},
+booktitle = POPL18,
+publisher = ACM:pub,
+address = ACM:addr,
+month = jan,
+year = {1991},
+pages = {291--302},
+doi = {10.1145/99583.99622}
+}
+
 @inproceedings{leroy93,
 author = {Xavier Leroy},
 title = {Polymorphism by name for references and continuations},
@@ -5583,6 +5708,7 @@ @inproceedings{mitchell88:popl
 doi = {10.1145/73560.73563}
 }
 
+% $DESIGN/types/weak-poly/Mitchell-Viswanathan-SMLNJ-weak-poly-IC-1996.pdf
 @article{mitchell-viswanathan:96,
 author = {John Mitchell and Ramesh Viswanathan},
 title = {Standard {ML}-{NJ} Weak Polymorphism and Imperative Constructs},
@@ -5850,6 +5976,7 @@ @inproceedings{morrisett+:recursive-closures
 %%%%%%%%%
 
 % NOT REFERENCED
+% $DESIGN/modules/papers/Nakata-Garrigue-rec-modules-ICFP-2006.pdf
 @inproceedings{nakata-garrigue:2006,
 author = {Keiko Nakata and Jacques Garrigue},
 title = {Recursive modules for programming},
@@ -5861,6 +5988,16 @@ @inproceedings{nakata-garrigue:2006
 pages = {74--86}
 }
 
+% NOT REFERENCED
+% $DESIGN/modules/papers/Nakata-Garrigue-Path_resolution_undecidable-WST-2007.pdf
+@inproceedings{nakata-garrigue:2007,
+author = {Keiko Nakata and Jacques Garrigue},
+title = {Path resolution for recursive nested modules is undecidable},
+booktitle = {WST 2007},
+year = 2007,
+numpages = {7}
+}
+
 % NOT REFERENCED
 % $DESIGN/modules/papers/Nakata-phd-recmods-2007.pdf
 @phdthesis{nakata:phd:2007,
@@ -6039,6 +6176,20 @@ @article{ophel:89
 year = 1989
 }
 
+% $DESIGN/modules/papers/Owens-Flatt-SIGPLAN-2006.pdf
+@article{owens-flatt:2006,
+author = {Scott Owens and Matthew Flatt},
+title = {From structures and functors to modules and units},
+journal = {{ACM} {SIGPLAN} Notices},
+volume = 41,
+number = 9,
+month = sep,
+year = 2006,
+numpages = {12},
+doi = {10.1145/1160074.1159815}
+}
+
+
 %%%%%%%%%
 %%     %%
 %% PPP %%
@@ -6691,7 +6842,17 @@ @inbook{alice-looking-glass
 }
 
 % NOT REFERENCED
-% SML-history/Design/modules/papers/Rossberg-dynamic-translucency-2008.pdf
+% $DESIGN/modules/papers/Rossberg-thesis-2007.pdf
+@phdthesis{rossberg:phdthesis:2007,
+author = {Andreas Rossberg},
+title = {Typed Open Programming: A higher-order, typed approach to dynamic
+         modularity and distribution},
+school = {Universit\"at des Saarlandes},
+year = {2007}
+}
+
+% NOT REFERENCED
+% $DESIGN/modules/papers/Rossberg-dynamic-translucency-2008.pdf
 @inproceedings{rossberg:dynamic-translucency:2008,
 author = {Andreas Rossberg},
 title = {Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions},
@@ -7520,7 +7681,10 @@ @inproceedings{strachey72
 publisher = {Cini Foundation},
 location = {Venice, Italy},
 year = 12972,
-pages = {345--362}
+pages = {345--362},
+doi = {10.1007/978-1-4612-4118-8_3},
+note = {Technical Monograph PRG-10, Programming Research Group,
+  Oxford University Computing Laboratory, March, 1973}
 }
 
 % $DESIGN/types/type\ errors/Stuckey-Sulzmann-Wazny-Haskell-2004.pdf

history/index.html

@@ -32,7 +32,7 @@ <h2>Papers and Talks</h2>
   presented at the ACM History of Programming Langauges conference,
   currently postponed until perhaps the first half of 2021. Also,
   we offer the extensive
-  <a href="hopl.bib">BibTeX bibliography file</a> used for this paper.
+  <a href="standardml.bib">standardml.bib BibTeX bibliography file</a> used for this paper.
   </li>
 </ul>
 <h2>Design Documents</h2>
@@ -318,6 +318,6 @@ <h2>Basis Library Documents</h2>
 
 <hr>
 <address>dmacqueen at mac.com</address>
-<!-- hhmts start -->Last modified: Sun Apr  5 21:05:22 PDT 2020 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Fri May 29 15:51:27 PDT 2020 <!-- hhmts end -->
 </body>
 </html>