H ? « ‹ ← → › »

Language peer sets for SML/NJ:
United States↑
United States/1986↑
Designed 1986 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

SML/NJ(ID:1661/sml009)

Standard ML of New Jersey. 

alternate simple view
Country: United States
Designed 1986
Published: 1986

Standard ML of New Jersey. An implementation of SML by Andrew Appel at Princeton and Dave MacQueen at AT&T

History of the system

The SML/NJ project was started in 1986 by David MacQueen at Bell Laboratories and Andrew Appel at Princeton University. Initially a project to build a SML front end for research purposes, it evolved into a complete and portable programming environment for SML, with the purpose of being employed as a ?language laboratory? for programming language research. In order to back claims efficiency and to motivate the implementation of useful optimizations, the decision was
made to write all supporting library code in SML. The only part of the system not implemented in SML is the runtime system (written in C), in charge mostly of the memory allocation, the garbage collection and communication with the underlying operating system.

With the convergence towards satisfying the 1997 revision of SML, version 110 came out in January 1998. Various patches to the release version corrected bugs and updated libraries. At the time of writing, the current patch release version is 110.0.6. Release version 110 is the standard stable version for general use. Internal infrastructure changes and experimental features are being tested in a series of working versions not intended to be stable or generally usable. At the time of
writing, the current working version is 110.29, with major changes in the intermediate representation language. Eventually, once the working versions converge to a workable and stable system, release 111 will come out incorporating the improvements.

Structures:
Related languages
CPS → SML/NJ   Used as intermediate language
SML → SML/NJ   Implementation
SML/NJ → ADATE-ML   Written using
SML/NJ → CML   Extension of
SML/NJ → CRML   Based on
SML/NJ → HOL-90   Written using
SML/NJ → Isabelle   Written using
SML/NJ → ML-Linda   Extension of
SML/NJ → SML#   Extension of
SML/NJ → SML/NJ 1997   Evolution of
SML/NJ → TIL   Augmentation of
References:
  • Appel, A. et al, (1991) Appel, A. et al, "Standard ML of New Jersey"
          in Maluszynski, Jan and Martin Wirsing, editors, Proc (1991) Maluszynski, Jan and Martin Wirsing, editors, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (Passau, Germany), pages 255-274. Springer­Verlag, LNCS 528 (August 1991).
  • C B Jay and J Noble (2000) C B Jay and J Noble "Shaping object-oriented programs" Abstract
          in Maluszynski, Jan and Martin Wirsing, editors, Proc (1991) Maluszynski, Jan and Martin Wirsing, editors, Proceedings of the 3rd International Symposium on Programming Language Implementation and Logic Programming (Passau, Germany), pages 255-274. Springer­Verlag, LNCS 528 (August 1991).
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder