Definition of standard ML

From the Publisher: Standard ML is general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers. Because computer programs are increasingly required to withstand rigorous analysis, it is all the more important that the language in which they are written be defined with full rigor. The authors have defined their semantic objects in mathematical notation that is completely independent of Standard ML.

[1]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[2]  P. J. Landin,et al.  The next 700 programming languages , 1966, CACM.

[3]  H. B. Curry.  Modified basic functionality in combinatory logic , 1969 .

[4]  James H. Morris,et al.  Lambda-calculus models of programming languages. , 1969 .

[5]  R. Hindley.  The Principal Type-Scheme of an Object in Combinatory Logic , 1969 .

[6]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

[7]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[8]  Robin Milner,et al.  A Metalanguage for interactive proof in LCF , 1978, POPL.

[9]  Robin Milner,et al.  Principal type-schemes for functional programs , 1982, POPL '82.

[10]  Thierry Despeyroux,et al.  Executable Specification of Static Semantics , 1984, Semantics of Data Types.

[11]  Luís Damas.  Type assignment in programming languages , 1984 .

[12]  Pierre-Louis Curien,et al.  The Categorical Abstract Machine , 1987, Sci. Comput. Program..

[13]  Donald Sannella,et al.  Program specification and development in standard ML , 1985, POPL.

[14]  Robin Milner,et al.  Standard ML: Report ECS-LFCS-86-2 , 1986 .

[15]  Ake Wikstrom,et al.  Functional programming using standard ML , 1987 .

[16]  M. Tofte.  Operational Semantics and Polymorphic Type Inference , 1988 .

[17]  Robin Milner,et al.  The definition of standard ML, Version 3 , 1988 .

[18]  Robin Milner,et al.  The definition of standard ML Version 2: LFCS report ECS-LFCS-88-62 , 1988 .