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 =	 "24 pages",
  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 =	 "35 pages"
}

@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 =	 "171 pages"
}

@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 ",
  title = 	 "{Standard} {ML} {Basis} {Library}",
  institution =  "AT\&T Bell Labs",
  year = 	 "1996",
  OPTcrossref =  "",
  OPTkey = 	 "",
  OPTtype = 	 "",
  OPTnumber = 	 "",
  OPTaddress = 	 "",
  OPTmonth = 	 "",
  OPTannote = 	 ""}

@Manual{Sparud:1992:SMLMake,
  title = 	 "{SML} Make",
  author =	 "J. Sparud and U. Boquist",
  organization = "Chalmers University of Technology, Gothenburg, Sweden",
  year =	 "1992",
  month =	 "June",
  note =	 "Available for anonymous ftp from ftp.cs.chalmers.se",
  OPTannote = 	 ""
}

@Unpublished{Tofte:1993:TypeAbbreviations,
  author = 	 "M. Tofte",
  title = 	 "Type Abbreviations in Signatures",
  note = 	 "DIKU, University of Copenhagen",
  year =	 "1993",
  month =	 "September",
  OPTannote = 	 ""}


