ML Unabridged


millilambert; millilamberts.


milliliter; milliliters.


milliliter; milliliters. Unabridged
Based on the Random House Dictionary, © Random House, Inc. 2014.
Cite This Source Link To ML
World English Dictionary
symbol for
1.  millilitre
2.  mile

the internet domain name for

abbreviation for
Medieval Latin

Collins English Dictionary - Complete & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
American Heritage
Medical Dictionary

ml abbr.

The American Heritage® Stedman's Medical Dictionary
Copyright © 2002, 2001, 1995 by Houghton Mifflin Company. Published by Houghton Mifflin Company.
Cite This Source
American Heritage
Science Dictionary
ml or mL  
Abbreviation of milliliter
The American Heritage® Science Dictionary
Copyright © 2002. Published by Houghton Mifflin. All rights reserved.
Cite This Source
Computing Dictionary

ML definition

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].

ml definition

The country code for Mali.

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source
American Heritage
Abbreviations & Acronyms
  1. Malayalam

  2. milliliter

  1. Medieval Latin

  2. Middle Latin

The American Heritage® Abbreviations Dictionary, Third Edition
Copyright © 2005 by Houghton Mifflin Company.
Published by Houghton Mifflin Company. All rights reserved.
Cite This Source
Copyright © 2014, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature