The Definition of Standard ML
Elite
2,419
Citations14
Refs1997
Year
Search Works
Work Details
- DOI 10.7551/mitpress/2319.001.0001
- OpenAlex ID W1829244603
- Type Book
- Language EN
- Published 21 May 1997
- Source The MIT Press eBooks
- Publisher The MIT Press
- FWCI 68.36
- Countries 3
- Institutions 3
- Added 10 Oct 2025
- Updated 12 Oct 2026
External Links
MENU
0
The Definition of Standard ML
Book 1997 EN
Standard ML is a 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…
2,419
Citations
14
References
4
Authors
68.36
FWCI
Citations by Year
Last 15 yearsTopics
Keywords
Authors & Affiliations
4 authors| # | Author | Institutions | ORCID |
|---|---|---|---|
| 1 | Robin Milner | University of Edinburgh (GB) | — |
| 2 | Robert W. Harper | Carnegie Mellon University (US) | |
| 3 | David B. MacQueen | — | — |
| 4 | Mads Tofte | University of Nigeria (NG) | — |
Related Works
10Data: OpenAlex