|
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) |
|
|
|
|
|
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.
|
|
|
CiteSeerX - Document Details (Isaac Councill, Lee Giles): We describe a functional database language OR-SML for handling disjunctive information in database ...
|
|
|
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.
|
|
|
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.
|
|
|
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.
|
Copyright © 2009, Dictionary.com, LLC. All rights reserved.