H ? « ‹ ← → › »

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

SML(ID:1119/sml003)

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.)

Places
People:
Structures:
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
References:
  • 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