File "mosml.bib" PS 1994-12-20, 2000-05-30 File "strings.bib" -- Bibtex string abbreviations. PS, 1993-02-23 Journals, books, and series@STRING{AI = "Artificial Intelligence"}@STRING{Acta = "Acta Informatica"}@STRING{CACM = "Communications of the {ACM}"}@STRING{CJ = "Computer Journal"}@STRING{ESOP = "European Symposium on Programming"}@STRING{FPCA = "International Conference on Functional Programming Languages and Computer Architecture"}@STRING{IFIP = "IFIP World Congress Proceedings"}@STRING{IPL = "Information Processing Letters"}@STRING{JACM = "Journal of the {ACM}"}@STRING{JCSS = "Journal of Computer and System Sciences"}@STRING{JFP = "Journal of Functional Programming"}@STRING{JTASPEFL = "Analyse Statique en Programmation {\'E}quationnelle, Fonctionnelle, et Logique, Bordeaux, France, Octobre 1991 (Bigre, vol. 74)"}@STRING{LASC = "Lisp and Symbolic Computation"}@STRING{LFP = "{ACM} Conference on Lisp and Functional Programming"}@STRING{LICS = "{IEEE} Symposium on Logic in Computer Science"}@STRING{LNCS = "Lecture Notes in Computer Science"}@STRING{MFCS = "Mathematical Foundations of Computer Science"}@STRING{MFPLS = "Mathematical Foundations of Programming Language Semantics"}@STRING{NGC = "New Generation Computing"}@STRING{PEMC = "Partial Evaluation and Mixed Computation"}@STRING{PEPM = "Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut (Sigplan Notices, vol. 26, no. 9, September 1991)"}@STRING{PEPM92 = "Partial Evaluation and Seman\-tics-Based Program Manipulation, San Francisco, California, June 1992 (Technical Report {YALEU/DCS/RR}-909)"}@STRING{PDO = "Programs as Data Objects, Copenhagen, Denmark (Lecture Notes in Computer Science, vol. 217)"}@STRING{POPL = "ACM Symposium on Principles of Programming Languages"}@STRING{SCP = "Science of Computer Programming"}@STRING{SIGPLAN = "Sigplan Notices"}@STRING{SMD = "Soviet Mathematics Doklady"}@STRING{SPE = "Software -- Practice and Experience"}@STRING{TCS = "Theoretical Computer Science"}@STRING{TOPLAS = "ACM Transactions on Programming Languages and Systems"}@STRING{TSE = "IEEE Transactions on Software Engineering"}@STRING{WSA92 = "WSA '92, Static Analysis, Bordeaux, France, September 1992. Bigre vols 81--82, 1992"} Publishers@STRING{ACM = "New York:\ ACM"}@STRING{A-W = "Reading, MA:\ Addison-Wesley"}@STRING{AP = "New York:\ Academic Press"}@STRING{CSP = "Computer Science Press"}@STRING{CUP = "Cambridge:\ Cambridge University Press"}@STRING{IEEE = "New York:\ IEEE"}@STRING{IEEECSP = "New York:\ IEEE Computer Society"}@STRING{ISO = "Geneva:\ ISO"}@STRING{JWS = "New York:\ John Wiley \& Sons"}@STRING{MIT = "Cambridge, MA:\ MIT Press"}@STRING{N-H = "Amsterdam:\ North-Holland"}@STRING{OUP = "Oxford:\ Oxford University Press"}@STRING{P-H = "Englewood Cliffs, NJ:\ Prentice Hall"}@STRING{S-V = "Berlin:\ Springer-Verlag"}@STRING{SL = "Lund:\ Studentlitteratur"}@STRING{WHF = "W.H. Freeman"}@STRING{Yale = "New Haven, CT:\ Yale University"} Institutions and people@STRING{BEJ = "D. Bj{\o}rner and A.P. Ershov and N.D. Jones"}@STRING{CCN = "No\-vo\-si\-birsk:\ Computing Center"}@STRING{CTH = "Chalmers University of Technology"}@STRING{DIKU = "DIKU, University of Copenhagen, Denmark"}@STRING{IDDTH = "Department of Computer Science, Technical University of Denmark"}@STRING{ISI = "Informatics Systems Institute, Novosibirsk, USSR"}@STRING{PMG = "Programming Methodology Group, Chalmers University of Technology"}@STRING{PROCOS = "ProCoS II, ESPRIT BRA 7071"}@STRING{UPMAIL = "UPMAIL, Uppsala University, Sweden"} @inproceedings{Appel:1987:AStandard,Author = "A.W. Appel and D.B. MacQueen",Title = "A {S}tandard {ML} Compiler",BookTitle = "Functional Programming Languages and Computer Architecture (Lecture Notes in Computer Science, vol. 274)",Editor = "G. Kahn",Publisher = S-V,Year = 1987,Pages = "301-324"} @inproceedings{Appel:1991:StandardML,Title = "{S}tandard {ML} of {N}ew {J}ersey",Author = "A.W. Appel and D.B. MacQueen",Booktitle = "Third International Symposium on Programming LanguageImplementation and Logic Programming (Lectures Notes in Computer Science, vol. 528)",Editor="J. Maluszy\'{n}ski and M. Wirsing",Publisher=S-V,Year = "1991",pages = "1--13"} @article{Appel:1993:ACritique,author = "A.W. Appel",title = "A critique of {Standard ML}",journal = "Journal of Functional Programming",year = "1993",volume = "3",number = "4",pages = "391--429"} @InProceedings{Appel:1994:SeparateCompilation, author = "A.W. Appel and D.B. MacQueen", title = "Separate Compilation for {Standard} {ML}", pages = "", booktitle = "Programming Language Design and Implementation, Orlando, Florida, June 1994", year = "1994", organization = "ACM", OPTnote = "", OPTannote = ""} @Article{Augustsson:1989:TheChalmers, author = " L. Augustsson and T. Johnsson", title = " The {Chalmers} Lazy {ML} Compiler", journal = "Computer Journal", year = "1989", volume = "32", number = "2", pages = "127-141", OPTnote = "", OPTannote = ""} @Manual{Berry:1991:TheEdinburgh, title = "The {Edinburgh} {SML} Library", author = "D. Berry", organization = "Edinburgh University", year = "1991", month = "April", OPTnote = "", OPTannote = ""} @Book{Bertsekas:1987:DataNetworks, author = "D. Bertsekas and R. Gallager", title = "Data Networks", publisher = P-H, year = "1987", OPTannote = ""} @Unpublished{Blume:1994:TowardsAn, author = "M. Blume", title = "Towards an Improved Compilation Manager for {SML/NJ}", note = "Department of Computer Science, Princeton University", year = "1994", month = "November", OPTannote = ""} @InProceedings{Cregut:1990:AnAbstractMachine, author = "P. Cr{\'e}gut", title = "An Abstract Machine for the Normalization of {\(\lambda\)}-terms", booktitle = "1990 ACM Conference on Lisp and Functional Programming, Nice, France", year = "1990", pages = "333-340", publisher = ACM, OPTnote = ""} @PhDThesis{Cregut:1991:MachinesA, author = "P. Cr{\'e}gut", title = "Machines {\`a} environnement pour la r{\'e}duction symbolique et l'{\'e}valuation partielle", school = "Universit{\'e} Paris VII, France", year = "1991", OPTnote = ""} @TechReport{Curien:1988:TheLambdaRho, author = "P.L. Curien", title = "The {$\lambda\rho$}-calculus: an Abstract Framework for Environment Machines", institution = "Ecole Normale Sup{\'e}rieure, Paris, France", year = "1988", type = "Rapport de Recherche", number = "LIENS-88-10", OPTnote = ""} @TechReport{Currie:1999:MoscowMLMac, author = {Doug Currie}, title = {Moscow {ML} for the {Apple} {Macintosh}}, institution = {Flavors Technology}, year = {1999},} @TechReport{Doligez:1989:Realisation, author = "D. Doligez", title = "R{\'e}alisation d'un glaneur de cellules de {Lang} et {Dupont} {\`a} g{\'e}n{\'e}rations", institution = "Universit{\'e} de Paris VII, France", year = "1989", type = "M{\'e}moire de {DEA}", number = "", OPTnote = ""} @inproceedings{Gunter:1991:AnAbstract,title = "An Abstract Interpretation for {ML} Equality Kinds", author = "C.A. Gunter and E.L. Gunter and D.B. MacQueen",booktitle = "Theoretical Aspects of Computer Software",publisher = "Springer-Verlag",address="New York",month = "September",year = "1991"} @InProceedings{Harper:1994:AType-Theoretic, author = "R. Harper and M. Lillibridge", title = "A Type-Theoretic Approach to Higher-Order Modules with Sharing", pages = "123-137", booktitle = "Twentyfirst ACM Symposium on Principles of Programming Languages", year = "1994", organization = "ACM", OPTnote = "", OPTannote = ""} @InProceedings{Harper:1994:ACompilation, author = "R. Harper and P. Lee and F. Pfenning and E. Rollins", title = "A Compilation Manager for {Standard} {ML} of {New} {Jersey}", OPTeditor = "", OPTvolume = "", OPTnumber = "", OPTseries = "", pages = "136-147", booktitle = "1994 ACM SIGPLAN Workshop on ML and Its Applications, Orlando, Florida, June 1994", year = "1994", OPTorganization = "", OPTpublisher = "", OPTaddress = "", OPTmonth = "", OPTnote = "", OPTannote = ""} @TechReport{Leroy:1990:TheZinc, author = "X. Leroy", title = "The {Zinc} Experiment: An Economical Implementation of the {ML} Language", institution = "INRIA Rocquencourt, France", year = 1990, type = "Rapport Technique", number = 117, note = "Available as \newline ftp://ftp.inria.fr/INRIA/Projects/cristal/Xavier.Leroy/economical-ML-implementation.ps.gz"} @Manual{Leroy:1993:TheCaml, title = "The Caml Light system, release 0.6. Documentation and user's manual", author = "X. Leroy", organization = "INRIA, France", year = "1993", month = "September", note = "Available at ftp://ftp.inria.fr/lang/caml-light", OPTannote = ""} @InProceedings{Leroy:1994:ManifestTypes, author = "X. Leroy", title = "Manifest Types, Modules, and Separate Compilation", pages = "109-122", booktitle = "Twentyfirst ACM Symposium on Principles of Programming Languages", year = "1994", organization = "ACM", OPTnote = "", OPTannote = ""} @InProceedings{Leroy:1995:ApplicativeFunctors, author = "X. Leroy", title = "Applicative Functors and Fully Transparent Higher-Order Modules", OPTpages = "", booktitle = "Twenty-second ACM Symposium on Principles of Programming Languages, San Francisco, California, January 1995", year = "1995", OPTorganization = "", OPTpublisher = "", OPTaddress = "", OPTmonth = "", note = "To appear", OPTannote = ""} @Article{Hudak:1992:ReportOn, author = "P. Hudak and S. Peyton Jones and P. Wadler and others", title = "Report on the Programming Language {Haskell} -- a Non-Strict, Purely Functional Language, version 1.2", journal = "SIGPLAN Notices", year = "1992", volume = "27", number = "5", pages = "R1-R162", month = "May", OPTnote = "", OPTannote = ""} @inproceedings{MacQueen:1984:ModulesFor,Author = "D.B. MacQueen",Title = "Modules for {S}tandard {ML}",Publisher = "ACM Press", BookTitle = "Proc. 1984 ACM Conf. on LISP and Functional Programming",Pages = "198-207",Year = 1984} @InProceedings{MacQueen:1986:UsingDependent, author = "D.B. MacQueen", title = "Using Dependent Types to Express Modular Structure", pages = "277-286", booktitle = "Thirteenth ACM Symposium on Principles of Programming Languages, St.\ Petersburg, Florida", year = "1986", organization = "ACM", OPTnote = "", OPTannote = ""} @Manual{MoscowML:1994:OwnersManual, title = "Moscow {ML} Owner's Manual, version 1.20", OPTcrossref = "", OPTkey = "", author = "S. Romanenko and P. Sestoft", organization = "", OPTaddress = "", OPTedition = "", year = "1994", month = "December", note = "Available for anonymous ftp from dina.kvl.dk (Internet 129.142.149.160)", OPTannote = ""} @Manual{MoscowML:1995:TechnicalNotes, title = "Technical Notes on Moscow ML", OPTcrossref = "", author = "S. Romanenko and P. Sestoft", OPTorganization = "", OPTaddress = "", edition = "version 1.30", year = "1995", month = "March", OPTnote = "", OPTannote = ""} @Manual{MoscowML:1996:MoscowMLLanguage, title = "Moscow ML Language Overview, version 1.40", OPTcrossref = "", author = "S. Romanenko and P. Sestoft", OPTorganization = "", OPTaddress = "", OPTedition = "", year = "1996", month = "July", OPTnote = "", OPTannote = ""} @Manual{MoscowML:1997:MoscowMLLanguage, title = "Moscow ML Language Overview, version 1.42", OPTcrossref = "", author = "S. Romanenko and P. Sestoft", OPTorganization = "", OPTaddress = "", OPTedition = "", year = "1997", month = "July", OPTnote = "", OPTannote = ""} @Manual{MoscowML:1998:MoscowMLLanguage, title = "Moscow ML Language Overview, version 1.43", OPTcrossref = "", author = "S. Romanenko and P. Sestoft", OPTorganization = "", OPTaddress = "", OPTedition = "", year = "1998", month = "April", OPTnote = "", OPTannote = ""} @Manual{MoscowML:1999:MoscowMLLanguage, title = "Moscow ML Language Overview, version 1.44", OPTcrossref = "", author = "S. Romanenko and P. Sestoft", OPTorganization = "", OPTaddress = "", OPTedition = "", year = "1999", month = "August", note = "Available from ftp://ftp.dina.kvl.dk/pub/mosml/doc/mosmlref.pdf", OPTannote = ""} @Manual{MoscowML:1999:OwnersManual, title = "Moscow {ML} Owner's Manual, version 1.44", author = "S. Romanenko and P. Sestoft", organization = "", year = 1999, month = "August", note = "Available from ftp://ftp.dina.kvl.dk/pub/mosml/doc/manual.pdf"} @Manual{MoscowML:2000:MoscowMLLanguage, title = "Moscow ML Language Overview, version 2.00", OPTcrossref = "", author = "S. Romanenko and C. Russo and P. Sestoft", OPTorganization = "", OPTaddress = "", OPTedition = "", year = "2000", month = "June", note = "Available from ftp://ftp.dina.kvl.dk/pub/mosml/doc/mosmlref.pdf", OPTannote = ""} @Manual{MoscowML:2000:OwnersManual, title = "Moscow {ML} Owner's Manual, version 2.00", author = "S. Romanenko and C. Russo and P. Sestoft", organization = "", year = 2000, month = "June", note = "Available from ftp://ftp.dina.kvl.dk/pub/mosml/doc/manual.pdf"} @Manual{MoscowML:2000:MoscowMLLibrary, title = "Moscow {ML} Library Documentation, version 2.00", author = "S. Romanenko and C. Russo and P. Sestoft", organization = "", year = 2000, month = "June", note = "Available from ftp://ftp.dina.kvl.dk/pub/mosml/doc/mosmllib.pdf"} @InProceedings{Russo:FirstClassStructures, author = {C. Russo}, title = {First-Class Structures for Standard ML}, booktitle = {European Symposium on Programming (ESOP)}, year = {2000}} @PhdThesis{Russo:TypesForModules, author = {C. Russo}, title = {Types For Modules}, school = {LFCS, University of Edinburgh}, year = {1998}} @Unpublished{Rollins:1993:TheSeparate, author = "G. Rollins", title = "The {Separate} {Compilation} System of {Pittsburgh}", note = "Documentation file included with the Separate Compilation system", year = "1993", month = "July", OPTannote = ""} @TechReport{Schmidt:1994:TestSuite, author = "S. Schmidt and M. Vium", title = "Test suite for the Core language of {Standard} {ML}", institution = IDDTH, year = "1994", type = "Student project", number = "", OPTnote = ""} @Book{Siewiorek:1982:TheTheory, author = "D.P. Siewiorek and R.S. Swarz", title = "The Theory and Practice of Reliable System Design", publisher = "Digital Press", year = "1982", OPTannote = ""} @TechReport{SMLBasis:1996:StandardML, author = "E. Gansner and J. Reppy ",Lines 1–500 of 530. Load more
File "mosml.bib" PS 1994-12-20, 2000-05-30 File "strings.bib" -- Bibtex string abbreviations. PS, 1993-02-23 Journals, books, and series @STRING{AI = "Artificial Intelligence"} @STRING{Acta = "Acta Informatica"} @STRING{CACM = "Communications of the {ACM}"} @STRING{CJ = "Computer Journal"} @STRING{ESOP = "European Symposium on Programming"} @STRING{FPCA = "International Conference on Functional Programming Languages and Computer Architecture"} @STRING{IFIP = "IFIP World Congress Proceedings"} @STRING{IPL = "Information Processing Letters"} @STRING{JACM = "Journal of the {ACM}"} @STRING{JCSS = "Journal of Computer and System Sciences"} @STRING{JFP = "Journal of Functional Programming"} @STRING{JTASPEFL = "Analyse Statique en Programmation {\'E}quationnelle, Fonctionnelle, et Logique, Bordeaux, France, Octobre 1991 (Bigre, vol. 74)"} @STRING{LASC = "Lisp and Symbolic Computation"} @STRING{LFP = "{ACM} Conference on Lisp and Functional Programming"} @STRING{LICS = "{IEEE} Symposium on Logic in Computer Science"} @STRING{LNCS = "Lecture Notes in Computer Science"} @STRING{MFCS = "Mathematical Foundations of Computer Science"} @STRING{MFPLS = "Mathematical Foundations of Programming Language Semantics"} @STRING{NGC = "New Generation Computing"} @STRING{PEMC = "Partial Evaluation and Mixed Computation"} @STRING{PEPM = "Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut (Sigplan Notices, vol. 26, no. 9, September 1991)"} @STRING{PEPM92 = "Partial Evaluation and Seman\-tics-Based Program Manipulation, San Francisco, California, June 1992 (Technical Report {YALEU/DCS/RR}-909)"} @STRING{PDO = "Programs as Data Objects, Copenhagen, Denmark (Lecture Notes in Computer Science, vol. 217)"} @STRING{POPL = "ACM Symposium on Principles of Programming Languages"} @STRING{SCP = "Science of Computer Programming"} @STRING{SIGPLAN = "Sigplan Notices"} @STRING{SMD = "Soviet Mathematics Doklady"} @STRING{SPE = "Software -- Practice and Experience"} @STRING{TCS = "Theoretical Computer Science"} @STRING{TOPLAS = "ACM Transactions on Programming Languages and Systems"} @STRING{TSE = "IEEE Transactions on Software Engineering"} @STRING{WSA92 = "WSA '92, Static Analysis, Bordeaux, France, September 1992. Bigre vols 81--82, 1992"} Publishers @STRING{ACM = "New York:\ ACM"} @STRING{A-W = "Reading, MA:\ Addison-Wesley"} @STRING{AP = "New York:\ Academic Press"} @STRING{CSP = "Computer Science Press"} @STRING{CUP = "Cambridge:\ Cambridge University Press"} @STRING{IEEE = "New York:\ IEEE"} @STRING{IEEECSP = "New York:\ IEEE Computer Society"} @STRING{ISO = "Geneva:\ ISO"} @STRING{JWS = "New York:\ John Wiley \& Sons"} @STRING{MIT = "Cambridge, MA:\ MIT Press"} @STRING{N-H = "Amsterdam:\ North-Holland"} @STRING{OUP = "Oxford:\ Oxford University Press"} @STRING{P-H = "Englewood Cliffs, NJ:\ Prentice Hall"} @STRING{S-V = "Berlin:\ Springer-Verlag"} @STRING{SL = "Lund:\ Studentlitteratur"} @STRING{WHF = "W.H. Freeman"} @STRING{Yale = "New Haven, CT:\ Yale University"} Institutions and people @STRING{BEJ = "D. Bj{\o}rner and A.P. Ershov and N.D. Jones"} @STRING{CCN = "No\-vo\-si\-birsk:\ Computing Center"} @STRING{CTH = "Chalmers University of Technology"} @STRING{DIKU = "DIKU, University of Copenhagen, Denmark"} @STRING{IDDTH = "Department of Computer Science, Technical University of Denmark"} @STRING{ISI = "Informatics Systems Institute, Novosibirsk, USSR"} @STRING{PMG = "Programming Methodology Group, Chalmers University of Technology"} @STRING{PROCOS = "ProCoS II, ESPRIT BRA 7071"} @STRING{UPMAIL = "UPMAIL, Uppsala University, Sweden"} @inproceedings{Appel:1987:AStandard, Author = "A.W. Appel and D.B. MacQueen", Title = "A {S}tandard {ML} Compiler", BookTitle = "Functional Programming Languages and Computer Architecture (Lecture Notes in Computer Science, vol. 274)", Editor = "G. Kahn", Publisher = S-V, Year = 1987, Pages = "301-324" } @inproceedings{Appel:1991:StandardML, Title = "{S}tandard {ML} of {N}ew {J}ersey", Author = "A.W. Appel and D.B. MacQueen", Booktitle = "Third International Symposium on Programming Language Implementation and Logic Programming (Lectures Notes in Computer Science, vol. 528)", Editor="J. Maluszy\'{n}ski and M. Wirsing", Publisher=S-V, Year = "1991", pages = "1--13"} @article{Appel:1993:ACritique, author = "A.W. Appel", title = "A critique of {Standard ML}", journal = "Journal of Functional Programming", year = "1993", volume = "3", number = "4", pages = "391--429"} @InProceedings{Appel:1994:SeparateCompilation, author = "A.W. Appel and D.B. MacQueen", title = "Separate Compilation for {Standard} {ML}", pages = "", booktitle = "Programming Language Design and Implementation, Orlando, Florida, June 1994", year = "1994", organization = "ACM", OPTnote = "", OPTannote = ""} @Article{Augustsson:1989:TheChalmers, author = " L. Augustsson and T. Johnsson", title = " The {Chalmers} Lazy {ML} Compiler", journal = "Computer Journal", year = "1989", volume = "32", number = "2", pages = "127-141", OPTnote = "", OPTannote = "" } @Manual{Berry:1991:TheEdinburgh, title = "The {Edinburgh} {SML} Library", author = "D. Berry", organization = "Edinburgh University", year = "1991", month = "April", OPTnote = "", OPTannote = "" } @Book{Bertsekas:1987:DataNetworks, author = "D. Bertsekas and R. Gallager", title = "Data Networks", publisher = P-H, year = "1987", OPTannote = ""} @Unpublished{Blume:1994:TowardsAn, author = "M. Blume", title = "Towards an Improved Compilation Manager for {SML/NJ}", note = "Department of Computer Science, Princeton University", year = "1994", month = "November", OPTannote = "" } @InProceedings{Cregut:1990:AnAbstractMachine, author = "P. Cr{\'e}gut", title = "An Abstract Machine for the Normalization of {\(\lambda\)}-terms", booktitle = "1990 ACM Conference on Lisp and Functional Programming, Nice, France", year = "1990", pages = "333-340", publisher = ACM, OPTnote = ""} @PhDThesis{Cregut:1991:MachinesA, author = "P. Cr{\'e}gut", title = "Machines {\`a} environnement pour la r{\'e}duction symbolique et l'{\'e}valuation partielle", school = "Universit{\'e} Paris VII, France", year = "1991", OPTnote = ""} @TechReport{Curien:1988:TheLambdaRho, author = "P.L. Curien", title = "The {$\lambda\rho$}-calculus: an Abstract Framework for Environment Machines", institution = "Ecole Normale Sup{\'e}rieure, Paris, France", year = "1988", type = "Rapport de Recherche", number = "LIENS-88-10", OPTnote = ""} @TechReport{Currie:1999:MoscowMLMac, author = {Doug Currie}, title = {Moscow {ML} for the {Apple} {Macintosh}}, institution = {Flavors Technology}, year = {1999}, } @TechReport{Doligez:1989:Realisation, author = "D. Doligez", title = "R{\'e}alisation d'un glaneur de cellules de {Lang} et {Dupont} {\`a} g{\'e}n{\'e}rations", institution = "Universit{\'e} de Paris VII, France", year = "1989", type = "M{\'e}moire de {DEA}", number = "", OPTnote = ""} @inproceedings{Gunter:1991:AnAbstract, title = "An Abstract Interpretation for {ML} Equality Kinds", author = "C.A. Gunter and E.L. Gunter and D.B. MacQueen", booktitle = "Theoretical Aspects of Computer Software", publisher = "Springer-Verlag", address="New York", month = "September", year = "1991"} @InProceedings{Harper:1994:AType-Theoretic, author = "R. Harper and M. Lillibridge", title = "A Type-Theoretic Approach to Higher-Order Modules with Sharing", pages = "123-137", booktitle = "Twentyfirst ACM Symposium on Principles of Programming Languages", year = "1994", organization = "ACM", OPTnote = "", OPTannote = "" } @InProceedings{Harper:1994:ACompilation, author = "R. Harper and P. Lee and F. Pfenning and E. Rollins", title = "A Compilation Manager for {Standard} {ML} of {New} {Jersey}", OPTeditor = "", OPTvolume = "", OPTnumber = "", OPTseries = "", pages = "136-147", booktitle = "1994 ACM SIGPLAN Workshop on ML and Its Applications, Orlando, Florida, June 1994", year = "1994", OPTorganization = "", OPTpublisher = "", OPTaddress = "", OPTmonth = "", OPTnote = "", OPTannote = "" } @TechReport{Leroy:1990:TheZinc, author = "X. Leroy", title = "The {Zinc} Experiment: An Economical Implementation of the {ML} Language", institution = "INRIA Rocquencourt, France", year = 1990, type = "Rapport Technique", number = 117, note = "Available as \newline ftp://ftp.inria.fr/INRIA/Projects/cristal/Xavier.Leroy/economical-ML-implementation.ps.gz"} @Manual{Leroy:1993:TheCaml, title = "The Caml Light system, release 0.6. Documentation and user's manual", author = "X. Leroy", organization = "INRIA, France", year = "1993", month = "September", note = "Available at ftp://ftp.inria.fr/lang/caml-light", OPTannote = ""} @InProceedings{Leroy:1994:ManifestTypes, author = "X. Leroy", title = "Manifest Types, Modules, and Separate Compilation", pages = "109-122", booktitle = "Twentyfirst ACM Symposium on Principles of Programming Languages", year = "1994", organization = "ACM", OPTnote = "", OPTannote = "" } @InProceedings{Leroy:1995:ApplicativeFunctors, author = "X. Leroy", title = "Applicative Functors and Fully Transparent Higher-Order Modules", OPTpages = "", booktitle = "Twenty-second ACM Symposium on Principles of Programming Languages, San Francisco, California, January 1995", year = "1995", OPTorganization = "", OPTpublisher = "", OPTaddress = "", OPTmonth = "", note = "To appear", OPTannote = "" } @Article{Hudak:1992:ReportOn, author = "P. Hudak and S. Peyton Jones and P. Wadler and others", title = "Report on the Programming Language {Haskell} -- a Non-Strict, Purely Functional Language, version 1.2", journal = "SIGPLAN Notices", year = "1992", volume = "27", number = "5", pages = "R1-R162", month = "May", OPTnote = "", OPTannote = "" } @inproceedings{MacQueen:1984:ModulesFor, Author = "D.B. MacQueen", Title = "Modules for {S}tandard {ML}", Publisher = "ACM Press", BookTitle = "Proc. 1984 ACM Conf. on LISP and Functional Programming", Pages = "198-207", Year = 1984 } @InProceedings{MacQueen:1986:UsingDependent, author = "D.B. MacQueen", title = "Using Dependent Types to Express Modular Structure", pages = "277-286", booktitle = "Thirteenth ACM Symposium on Principles of Programming Languages, St.\ Petersburg, Florida", year = "1986", organization = "ACM", OPTnote = "", OPTannote = "" } @Manual{MoscowML:1994:OwnersManual, title = "Moscow {ML} Owner's Manual, version 1.20", OPTcrossref = "", OPTkey = "", author = "S. Romanenko and P. Sestoft", organization = "", OPTaddress = "", OPTedition = "", year = "1994", month = "December", note = "Available for anonymous ftp from dina.kvl.dk (Internet 129.142.149.160)", OPTannote = "" } @Manual{MoscowML:1995:TechnicalNotes, title = "Technical Notes on Moscow ML", OPTcrossref = "", author = "S. Romanenko and P. Sestoft", OPTorganization = "", OPTaddress = "", edition = "version 1.30", year = "1995", month = "March", OPTnote = "", OPTannote = "" } @Manual{MoscowML:1996:MoscowMLLanguage, title = "Moscow ML Language Overview, version 1.40", OPTcrossref = "", author = "S. Romanenko and P. Sestoft", OPTorganization = "", OPTaddress = "", OPTedition = "", year = "1996", month = "July", OPTnote = "", OPTannote = "" } @Manual{MoscowML:1997:MoscowMLLanguage, title = "Moscow ML Language Overview, version 1.42", OPTcrossref = "", author = "S. Romanenko and P. Sestoft", OPTorganization = "", OPTaddress = "", OPTedition = "", year = "1997", month = "July", OPTnote = "", OPTannote = "" } @Manual{MoscowML:1998:MoscowMLLanguage, title = "Moscow ML Language Overview, version 1.43", OPTcrossref = "", author = "S. Romanenko and P. Sestoft", OPTorganization = "", OPTaddress = "", OPTedition = "", year = "1998", month = "April", OPTnote = "", OPTannote = "" } @Manual{MoscowML:1999:MoscowMLLanguage, title = "Moscow ML Language Overview, version 1.44", OPTcrossref = "", author = "S. Romanenko and P. Sestoft", OPTorganization = "", OPTaddress = "", OPTedition = "", year = "1999", month = "August", note = "Available from ftp://ftp.dina.kvl.dk/pub/mosml/doc/mosmlref.pdf", OPTannote = "" } @Manual{MoscowML:1999:OwnersManual, title = "Moscow {ML} Owner's Manual, version 1.44", author = "S. Romanenko and P. Sestoft", organization = "", year = 1999, month = "August", note = "Available from ftp://ftp.dina.kvl.dk/pub/mosml/doc/manual.pdf" } @Manual{MoscowML:2000:MoscowMLLanguage, title = "Moscow ML Language Overview, version 2.00", OPTcrossref = "", author = "S. Romanenko and C. Russo and P. Sestoft", OPTorganization = "", OPTaddress = "", OPTedition = "", year = "2000", month = "June", note = "Available from ftp://ftp.dina.kvl.dk/pub/mosml/doc/mosmlref.pdf", OPTannote = "" } @Manual{MoscowML:2000:OwnersManual, title = "Moscow {ML} Owner's Manual, version 2.00", author = "S. Romanenko and C. Russo and P. Sestoft", organization = "", year = 2000, month = "June", note = "Available from ftp://ftp.dina.kvl.dk/pub/mosml/doc/manual.pdf" } @Manual{MoscowML:2000:MoscowMLLibrary, title = "Moscow {ML} Library Documentation, version 2.00", author = "S. Romanenko and C. Russo and P. Sestoft", organization = "", year = 2000, month = "June", note = "Available from ftp://ftp.dina.kvl.dk/pub/mosml/doc/mosmllib.pdf" } @InProceedings{Russo:FirstClassStructures, author = {C. Russo}, title = {First-Class Structures for Standard ML}, booktitle = {European Symposium on Programming (ESOP)}, year = {2000} } @PhdThesis{Russo:TypesForModules, author = {C. Russo}, title = {Types For Modules}, school = {LFCS, University of Edinburgh}, year = {1998} } @Unpublished{Rollins:1993:TheSeparate, author = "G. Rollins", title = "The {Separate} {Compilation} System of {Pittsburgh}", note = "Documentation file included with the Separate Compilation system", year = "1993", month = "July", OPTannote = "" } @TechReport{Schmidt:1994:TestSuite, author = "S. Schmidt and M. Vium", title = "Test suite for the Core language of {Standard} {ML}", institution = IDDTH, year = "1994", type = "Student project", number = "", OPTnote = ""} @Book{Siewiorek:1982:TheTheory, author = "D.P. Siewiorek and R.S. Swarz", title = "The Theory and Practice of Reliable System Design", publisher = "Digital Press", year = "1982", OPTannote = ""} @TechReport{SMLBasis:1996:StandardML, author = "E. Gansner and J. Reppy ",