Definition of standard ML

@inproceedings{Milner1990DefinitionOS,
  title={Definition of standard ML},
  author={R. Milner and M. Tofte and R. Harper},
  year={1990}
}
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… Expand
A Critique of Standard ML
  • A. Appel
  • Computer Science
  • J. Funct. Program.
  • 1993
Reflections on Standard ML
  • David B. MacQueen
  • Computer Science
  • Functional Programming, Concurrency, Simulation and Automated Reasoning
  • 1993
First-Class Structures for Standard ML
An Introduction to the High-Level Language Standard ML
  • J. Ophel
  • Computer Science
  • Functional Programming, Concurrency, Simulation and Automated Reasoning
  • 1993
Essentials of Standard ML Modules
  • M. Tofte
  • Computer Science
  • Advanced Functional Programming
  • 1996
Dependency analysis for Standard ML
Recursive structures for standard ML
The Semantics of Extended ML: A Gentle Introduction
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 33 REFERENCES
The next 700 programming languages
A Theory of Type Polymorphism in Programming
  • R. Milner
  • Computer Science
  • J. Comput. Syst. Sci.
  • 1978
Type assignment in programming languages
Executable Specification of Static Semantics
Principal type-schemes for functional programs
The Categorical Abstract Machine
...
1
2
3
4
...