diff --git a/history/hopl.bib b/history/hopl.bib index 2c8e468..e2a6c16 100644 --- a/history/hopl.bib +++ b/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 diff --git a/history/index.html b/history/index.html index b6cc56e..4662990 100644 --- a/history/index.html +++ b/history/index.html @@ -32,7 +32,7 @@