ML definition |Dictionary.com

(Download Now or Buy the Book)
The American Heritage® Dictionary of the English Language, Fourth Edition
Copyright © 2006 by Houghton Mifflin Company.
Published by Houghton Mifflin Company. All rights reserved.

CITE THIS SOURCE|PRINT

American Heritage Dictionary - Cite This Source - Share This

mil·li·li·ter (mĭl'ə-lē'tər) Pronunciation Key
n. Abbr. mL or ml
A unit of volume equal to one thousandth (10^-3) of a liter. See Table at measurement.

CITE THIS SOURCE|PRINT

American Heritage Dictionary - Cite This Source - Share This

mL also ml
abbr. milliliter

CITE THIS SOURCE|PRINT

American Heritage Dictionary - Cite This Source - Share This

Ml
abbr. Bible
Malachi

CITE THIS SOURCE|PRINT

WordNet - Cite This Source - Share This

ml
noun
a metric unit of volume equal to one thousandth of a liter [syn: milliliter]

CITE THIS SOURCE|PRINT

The American Heritage Science Dictionary - Cite This Source - Share This

ml or mL
Abbreviation of milliliter

The American Heritage® Science Dictionary
Copyright © 2002 by Houghton Mifflin Company.
Published by Houghton Mifflin Company. All rights reserved.

CITE THIS SOURCE|PRINT

American Heritage Stedman's Medical Dictionary - Cite This Source - Share This

ml abbr.
milliliter

The American Heritage® Stedman's Medical Dictionary
Copyright © 2002, 2001, 1995 by Houghton Mifflin Company. Published by Houghton Mifflin Company.

CITE THIS SOURCE|PRINT

Free On-line Dictionary of Computing - Cite This Source - Share This

ML
1. Manipulator Language. IBM language for handling robots.
2. Meta Language. R. Milner et al, 1973. A strict higher-order functional language. It was the first language to include polymorphic typing which was statically-checked. It also had garbage collection and a formal semantics.
It began as the metalanguage for the Edinburgh LCF proof assistant. (LCF="Logic for Computable Functions") People soon noticed that ML could be a useful general programming language and stand-alone versions were implemented. Standard ML (SML) is a descendant of these (and related languages such as Hope).
The "metalanguage" aspect has long since disappeared from the language itself (although there are some systems that still use it that way). The historical name is now so inappropriate that asking what ML stands for is like asking what C or Unix stands for. It doesn't stand for anything; it just is.
LCF ML was implemented in Stanford LISP. Cardelli (1981) implemented ML in Pascal using the Functional Abstract Machine (FAM). It has been significantly redesigned to produce Standard ML and Lazy ML.
["A Metalanguage for Interactive Proof in LCF", M.J.C. Gordon et al, 5th POPL, ACM 1978].
(2006-07-21)