Standard ML - Wikipedia, the free encyclopedia
Standard ML ( SML ) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language ...
en.wikipedia.org/wiki/Standard_ML
ML (programming language) - Wikipedia, the free encyclopedia
ML is a general-purpose functional programming language developed by Robin Milner and others in the late 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, ML stan...
en.wikipedia.org/wiki/ML_(programming_language)
Functional Programming Books Caml/Objective Caml Books ... A Gentle Introduction to ML (Andrew Cumming) Notes on Programming SML/NJ (Riccardo Pucella) ... Programming in Standard ML '97: An On-line Tutorial (Stephen Gilmore) [Mirror]
freecomputerbooks.com/langMLBooks.html
The Standard ML of New Jersey compiler and programming system ... Standard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML/NJ is free, open source software.
www.smlnj.org/ www.smlnj.org/
Definition of SML programming language in an online ecyclopedia or dictionary, and discussion about SML programming language. ... The SML programming language is a modern descendant of the ML programming language used in the LCF theorem-proving project.
www.knowledgerush.com/kr/encyclopedia/SML_programming_l... www.knowledgerush.com/kr/encyclopedia/SML_programming_language/
SML.NET is a compiler for the functional programming language Standard ML that targets the .NET Common Language Runtime and which supports language interoperability features for easy access to .NET libraries.
www.cl.cam.ac.uk/research/tsg/SMLNET/ www.cl.cam.ac.uk/research/tsg/SMLNET/
CiteSeerX - Document Details (Isaac Councill, Lee Giles): We describe a functional database language OR-SML for handling disjunctive information in database ...
citeseer.ist.psu.edu/378970.html
We present here an introduction to the programming language SML in several steps. Each step tries to real the language in every more detail without confusing the issues with the most general forms of the constructs.
cs.fit.edu/~ryan/sml/sml.html cs.fit.edu/~ryan/sml/sml.html
An on-line tutorial by Stephen Gilmore. ... Standard ML is a programming language which combines the elegance of functional programming with the effectiveness of imperative programming. This tutorial introduces important concepts in the language, illustrating them with brief examples.
www.dcs.ed.ac.uk/home/stg/NOTES/
SML, as a functional programming language, provides a series of useful and convenient mechanisms such as functions and module system, polymorphic types and abstract data type definitions to aid the programmer to develop and manage large and complex programs and re-use the components of the program.
www.cas.mcmaster.ca/~lauer/l2h/macro-cosy/book/pat/node... www.cas.mcmaster.ca/~lauer/l2h/macro-cosy/book/pat/node9.html