H ? « »

Language peer sets for SML:
United Kingdom
United Kingdom/1984
Designed 1984
1980s languages
Fourth generation
Late Cold War


Standard ML 

alternate simple view
Country: United Kingdom
Designed 1984
Published: 1984

Standard ML. R. Milner ca. 1984. Aimed to unify the dialects of ML, has evolved into a robust general-purpose language. Functional, with imperative features. Environment based, strict. Adds to ML the call-by-pattern of Hope, recursive data types, reference types, typed exceptions, and modules. (The "core" language excludes the modules.)

Related languages
HOPE SML   Derivation of
ML SML   Evolution of
SML Amber   Extension of
SML ANU ML   Implementation
SML Edinburgh ML   Implementation
SML Facile   Extension of
SML Machiavelli   Extension of
SML Moscow SML   Implementation
SML Parallel SML   Extension of
SML Poly   partially based on
SML SML/NJ   Implementation
SML The ML Kit   Implementation
SML Xfun   Evolution of

  • Milner, R. (1984) Milner, R. "A Proposal for Standard ML", pp184-197
          in [ACM] (1984) Proceedings of the 1984 ACM Symposium on LISP and functional programming, , August 06-08, 1984, Austin, Texas,
  • MacQueen, David (2002) MacQueen, David "Should ML be Object-Oriented?" pp214-232 Abstract
          in (2002) Formal Aspects of Computing 13(3-5) July 2002
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder