A critique of Standard ML

1 October 1993

journal article
research article
Published by Cambridge University Press (CUP) in Journal of Functional Programming

Vol. 3 (4) , 391-429
https://doi.org/10.1017/s0956796800000836

Abstract

Standard ML is an excellent language for many kinds of programming. It is safe, efficient, suitably abstract, and concise. There are many aspects of the language that work well.However, nothing is perfect: Standard ML has a few shortcomings. In some cases there are obvious solutions, and in other cases further research is required.

Keywords

This publication has 14 references indexed in Scilit:

A theory of type polymorphism in programming
Published by Elsevier ,2003
Heap profiling of lazy functional programs
Journal of Functional Programming, 1993
Report on the programming language Haskell
ACM SIGPLAN Notices, 1992
Scheduler activations
ACM Transactions on Computer Systems, 1992
Type inference for polymorphic references
Information and Computation, 1990
Runtime tags aren't necessary
Higher-Order and Symbolic Computation, 1989
A standard ML compiler
Published by Springer Nature ,1987
Revised ³ report on the algorithmic language scheme
ACM SIGPLAN Notices, 1986
A real-time garbage collector based on the lifetimes of objects
Communications of the ACM, 1983
Ambiguities and insecurities in pascal
Software: Practice and Experience, 1977