Standard ML (programming language) definition of Standard ML (programming language) in the Free Online Encyclopedia.

(language)

Standard ML - (SML) Originally an attempt by Robin Milner <rm@lfcs.edinburgh.ac.uk> ca. 1984 to unify the dialects of ML, SML has evolved into a robust general-purpose language. Later versions have been maintained by D. B. MacQueen, Lal George <george@research.att.com>, and J. H. Reppy <jhr@research.att.com> at AT&T, and A. W. Appel <appel@princeton.edu>.

SML is functional, with imperative programming features. It is environment based and strict. It adds to ML the call-by-pattern of Hope, recursive data types, reference types, typed exceptions, and modules. (The "core" language excludes the modules).

Standard ML is polymorphically typed and its module system supports flexible yet secure large-scale programming. Standard ML of New Jersey is an optimising native-code compiler for Standard ML that is written in Standard ML. It runs on a wide range of architectures. The distribution also contains: an extensive library - The Standard ML of New Jersey Library, including detailed documentation; Concurrent ML (CML); eXene - an elegant interface to X11 (based on CML); SourceGroup - a separate compilation and "make" facility.

Implementations: SML/NJ, POPLOG ML, Poly/ML, Edinburgh SML, ANU ML, Micro ML, lazy sml2c.

sml2c compiles to C. See also ML Kit.

Version 0.93 runs on 68000, SPARC, MIPS, HPPA, RS/6000, Intel 386, Intel 486 and Macintosh.

Manual.

FTP from ATT. FTP from Suny SB.

Mailing list: sml-request@cs.cmu.edu.

["A Proposal for Standard ML", R. Milner, ACM Symp on LISP and Functional Prog 1984, pp. 184-197].

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			standard hook standard hour standard I/O standard illuminants standard inductor standard input standard input/output standard inside diameter dimension ratio Standard Instrument Control Library standard interface Standard International units standard interpretation standard knot standard leak standard lens Standard Lisp Standard Load standard loran standard mapping standard mean ocean water standard measure standard meridian Standard Metropolitan Statistical Area Smsa standard mineral Standard ML Standard ML (programming language) Standard ML of New Jersey Standard Mode standard model standard noise temperature standard noon Standard of Living Standard of Prices Standard Oil Company and Trust Standard Operating Environment standard output standard parallel standard parallel port standard penetration resistance standard penetration test standard performance standard pile standard pipe size Standard Pitch standard plane Standard Potential standard preemphasis standard pressure standard project flood standard propagation standard railing			Standard Methods for the Examination of Water and Wastewater Standard Metropolitan Consolidated Area Standard Metropolitan Statistical Area Standard Metropolitan Statistical Area Standard Metropolitan Statistical Area Standard Metropolitan Statistical Area Smsa Standard Microcircuit Drawing Standard Microsystems Corporation Standard MIDI File Standard midwestern Standard Mileage Rate Standard Military Drawings standard mineral standard miniature microwave coaxial connector Standard Minimum Rules for the Treatment of Prisoners Standard Minimum Task Time Standard Minute Value Standard missile Standard Missile 2 Standard Missile Company Standard Missile Echo Unit Standard Missile Vehicle Launcher Standard Missile-1 Standard Mixed Cargo Harness Standard Mixed Lymphocyte Reaction Test Standard ML Standard ML (programming language) Standard ML of New Jersey Standard ML of NJ Standard Mobile Imaging Architecture Standard Mode Standard Mode of Dress standard model standard model standard model Standard Model Extension Standard Model Feature Standard Model of Cosmology Standard Model of Particle Physics Standard Modular Avionics Repair and Test Standard Modular Multiplication Standard Modulated Gaussian Beam Standard molar volume Standard molar volume Standard Monitoring Framework standard mortality ratio standard mortgage clause Standard Mortgage Corporation of Georgia Standard Mortgage Insurance Agency Standard Motor Club Standard Motor Open Cockpit Standard Multilayer Image Standard Multilayer Software Image Standard Multimedia Scripting Language

Standard ML (redirected from Standard ML (programming language))

Standard ML
(redirected from Standard ML (programming language))