Wednesday,20th August 2008 UTC

On this page about Standard ML:

• Tags
• Encyclopedia extract
• Translations
• Search Results

Tags

• Functional languages (40)
• Imperative programming languages (34)
• ML programming language family (8)

Encyclopedia: Standard ML

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 researchers, as well as in the development of theorem provers.

Translations

How to say "Standard ML" in other languages:

	(German)	Standard ML
	(Spanish)	Standard ML
	(Italian)	Standard ML

Search results

Poplog

Poplog is a multi-language programming environment, which was originally created in the UK for use at the Universities of Birmingham and Sussex. It supports Common LISP, Prolog, POP-11, and Standard ML. It is used for Artificial Intelligence programming...

→  read in the encylopedia

SML programming language

specification, given as an operational semantics in The Definition of Standard ML (Revised) , by Milner, Tofte... Basis Library. ([2]) Poly/ML is a full implementation of Standard ML. ([3]) Standard ML of New...The SML programming language is a modern descendant of the ML programming language used in the LCF...

→  read in the encylopedia

ML programming language

most popular are SML (Standard ML) and Ocaml. Ideas from ML influenced several other languages...ML is a general-purpose functional programming language developed by Robin Milner and others in the late 1970s at Edinburgh University. Historically, ML stands for metalanguage , though this name is...

→  read in the encylopedia

HOL theorem prover

Gordon. It includes its own ML implementation, and is implemented on top of Common Lisp. The second, HOL90, uses Standard ML. The third, HOL98, uses Moscow ML. The current HOL 4 project is based on... top of a small trusted kernel. Systems in the HOL family use the ML programming language. This...

→  read in the encylopedia

FL programming language

functional languages) first-class exceptions (somewhat like Standard ML, unlike most other functional languages) strict semantics (like ML and J, unlike Haskell and Miranda) Overview FL's strategy to...

→  read in the encylopedia

Timeline of programming languages

Standard ML (Standard Meta-Language) dBase 1984 CLIPPER Nantucket 1977MUMPS 1985 1984 MUMPS dBase... Ratfor Kernighan * 1977 sh (Bourne Shell) Bourne MUMPS 1977 X11.1 ANSI Standard MUMPS FORTRAN IV... Borland C 1989 Standard C ANSI X3.159-1989 (adopted by ISO in 1990) Pascal Modula-II 1989 OBERON...

→  read in the encylopedia

List of computing topics

-- 82430FX -- 82430HX -- 82430MX -- 82430VX -- 8514 (display standard) -- 8514-A -- 88open -- 8N1... -- iCal -- Icon -- iDVD -- IEEE 802.2 -- IEEE 802.3 -- IEEE floating-point standard -- iMac... Platform, Enterprise Edition -- Java 2 Platform, Micro Edition -- Java 2 Platform, Standard Edition -- Java...

→  read in the encylopedia

Polymorphism (computer science)

polymorphism to appear in an actual programming language, ML in 1976. It exists today in Standard ML, O'Caml...

→  read in the encylopedia