Standard ML

Known as: SML programming language, Opaque ascription, SML (programming language) 
Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • figure 5
Is this relevant?
2002
2002
These notes are intended as a brief introduction to Standard ML (1997 dialect) for the experienced programmer. They began as… (More)
Is this relevant?
Highly Cited
2000
Highly Cited
2000
It has been nearly twenty years since Robin Milner introduced ML as the metalanguage of the LCF interactive theorem prover [5… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
MLJ compiles SML'97 into verifier-compliant Java byte-codes. Its features include type-checked interlanguage working extensions… (More)
  • figure V
Is this relevant?
Highly Cited
1992
Highly Cited
1992
C has been used as a portable target language for implementing languages like Standard ML and Scheme. Previous efforts at… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Imagine that you get such certain awesome experience and knowledge by only reading a book. How can? It seems to be greater when a… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
∗I generated this file on October 12, 2002, from a back-up dated May 2, 1991, since no original dvi file was available in the… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Standard ML is a major revision of earlier dialects of the functional language ML. We describe the first compiler written for… (More)
  • figure 2
Is this relevant?
Highly Cited
1986
Highly Cited
1986
types in this form are, for the most part, superseded by the modules system described in the next chapter. 2.7. DEFINING TYPES 41… (More)
Is this relevant?
Highly Cited
1984
Highly Cited
1984
The functional programming language ML has been undergoing a thorough redesign during the past year, and the module facility… (More)
Is this relevant?