Abstract

Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for serious systems and applications programming. It offers an excellent ratio of expressiveness to language complexity, and provides competitive efficiency. Because of its type and module system, Standard ML manages to combine safety, security, and robustness with much of the flexibility of dynamically typed languages like Lisp. It is also has the most well-developed scientific foundation of any major language. Here I review the strengths and weaknesses of Standard ML and describe some of what we have learned through the design, implementation, and use of the language.

Citations

1497	The Definition of Standard ML - Milner, Tofte, et al. - 1997
1128	The C Programming Language - Kernighan, Ritchie - 1988
874	A theory of type polymorphism in programming - Milner - 1978
475	A Semantics of Multiple Inheritance - Cardelli - 1988
352	ML for the Working Programmer - Paulson - 1996
196	B.: The concurrency workbench: a semanticsbased tool for the verification of concurrent systems - Cleaveland, Parrow, et al. - 1993
192	Standard ML of New Jersey - McQueen, Appel - 1991
164	The next 700 programming languages - Landin - 1966
163	Unboxed objects and polymorphic typing - Leroy - 1992
156	FACILE: A symmetric integration of Concurrent and Functional Programming - Giacalone, Mishra, et al. - 1989
141	The Concurrency Workbench - Cleaveland, Parrow, et al. - 1989
130	Putting theories together to make specifications - Burstall, Goguen - 1977
122	An ideal model for recursive polymorphic types - MacQueen, Plotkin, et al. - 1986
118	Using dependent types to express modular structure - MacQueen - 1986
116	Principles of parameterized programming - Goguen - 1987
109	Type inference for record concatenation and multiple inheritance - Wand - 1989
89	A debugger for standard ml - Tolmach, Appel - 1995
70	The essence of ML - Mitchell, Harper - 1988
65	Explicit polymorphism and CPS conversion - Harper, Lillibridge - 1993
58	Adding threads to standard ML - Cooper, Morrisett - 1990
53	Dynamics in ML - Leroy, Mauny - 1991
39	An experimental applicative language - Burstall, MacQueen, et al. - 1980
35	A Concurrent Copying Garbage Collector for Languages that Distinguish (Im)mutable Data - Huelsbergen, Larus - 1993
31	Concurrent ML: Design, Application and Semantics - Reppy - 1993
30	Principal signatures for higher-order program modules - Tofte - 1992
29	Polymorphism by name for references and continuations - Leroy - 1993
28	An extension of ML with first-class abstract types - Läufer, Odersky - 1992
28	Polymorphism for imperative languages without imperative types - Wright - 1993
26	A Metalanguage for Interactive Proof in LCF - Gordon, Milner, et al. - 1978
25	A distributed concurrent implementation of Standard ML - Matthews - 1991
24	Isabelle tutorial and user's manual - Paulson, Nipkow - 1990
17	editors. Theoretical Aspects of ObjectOriented - Gunter, Mitchell - 1994
13	Typing First-Class Continuations in - Duba, Harper, et al. - 1993
12	A semantic model of types for applicative languages - MacQueen, Sethi - 1982
9	Standard ML weak polymorphism and imperative constructs - Hoang, Mitchell, et al. - 1993
8	Distributed programming with asynchronous ordered channels in distributed ML - Cooper, Krumvieda - 1992
7	Abstract value constructors: Symbolic constants for Standard ML - Aitken, Reppy - 1992
7	The main features of CPL - Barron, Buxton, et al. - 1963
6	A proof-theoretic assessment of runtime type errors - Gunter, R'emy - 1993
5	Computer Assisted Proof for Mathematics: an Introduction using the LEGO Proof System - Burstall - 1989
4	Lessons from the Design of a Standard ML Library - Berry - 1993
4	ML under Unix - Cardelli - 1983
3	An Interview with Robin Milner - Frenkel - 1993
3	Using abstract interpretation to compute ML equality kinds - Gunter, Gunter, et al. - 1993
2	A technique for subclassing and its implementation exploiting polymorphic procedures - Mancini - 1988
2	An introduction to the high-level language Standard ML - Ophel - 1992
2	Sourcegroup: a selective-recompilation system - Rollins - 1991
1	Extensions to the sml module system. Rapport de Stage d'Ingenieur Eleve des Telecommunications - Cr'egut - 1992
1	HOL90: not just an ugly rumor - Slind - 1991
1	Structure and parameterization in a typed functional language - MacQueen - 1981