|
 Definitions for ML: The Collaborative International Dictionary of English v.0.48
:
ml \ml\, n.
milliliter; -- the IS standard abbreviation. [abbreviation]
[PJC]
WordNet (r) 2.0
:
ml
n : a metric unit of volume equal to one thousandth of a liter
[syn: milliliter, millilitre, mil, {cubic
centimeter}, cubic centimetre, cc]
Virtual Entity of Relevant Acronyms (Version 1.9, June 2002)
:
ML
Meta Language
Virtual Entity of Relevant Acronyms (Version 1.9, June 2002)
:
ML
Mail List
The Free On-line Dictionary of Computing (27 SEP 03)
:
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].
The Free On-line Dictionary of Computing (27 SEP 03)
:
ml
The country code for Mali.
(1999-01-27)
Related SitesMerrill Lynch (NYSE: MER)
Underwriter of debt and equity securities, strategic advisor to corporations, governments, institutions, and ... ML Home. About Us. Newsroom. Research ...
July
ML Home. About Us. Newsroom. Research. Investor ... ML Home > Newsroom > Press Releases > 2007 > July. 2007 Press Releases. To filter please make a selection: ...
ML - Wikipedia, the free encyclopedia
Midway Airlines (ML) (IATA airline designator) ... Richter local magnitude (ML), used to measure energy released in earthquakes ...
ML (programming language) - Wikipedia, the free encyclopedia
ML is a general-purpose functional programming language developed by Robin ... Features of ML include a call-by-value evaluation strategy, first class ...
Anchorage Municipal Light & Power
Services to residential and commercial customers including two military bases. ... ML&P/CEA joint operations information online ...
ML - Home
Trilinos Solvers Project Home Page ... ML is designed to solve large sparse linear systems of equations arising ... ML preconditioners have been used on ...
|
