What is "ml"

ml \ml\, n. milliliter; -- the IS standard abbreviation. [abbreviation]

n. a metric unit of volume equal to one thousandth of a liter [syn: milliliter, millilitre, mil, cubic centimeter, cubic centimetre, cc]

ml may refer to:

• millilitre (also spelled milliliter; symbol mL, ml, or mℓ), a thousandth of a litre (an SI unit of capacity) — not to be confused with millilambert
• Malayalam language ISO 639-1 code
• Mali, ISO 3166-1 country code
• .ml, the top-level Internet domain for Mali

mL may refer to:

• millilambert, a thousandth of a lambert, an old non-SI unit of luminance — not to be confused with millilitre

ML may refer to:

• Malcolm Lincoln, an Estonian band
• MartinLogan, an American speaker-company
• Marxism-Leninism
• Some models of the Mercedes-Benz M-Class (e.g. ML320, ML430)
• Mathematical Logic (ML), a variation of Quine's system New Foundations
• McConnell Unit, a prison near Beeville, Texas
• Medieval Latin
• Megalitre (also spelled megaliter; symbol ML, Ml, or Mℓ),
• Melilla, an autonomous city of Spain, located on the North African coast
• Merrill Lynch, an investment bank
• Midway Airlines (ML) IATA airline designator
• Mom Luang, a Thai title
• Monolayer, a term used in chemistry, physics and biology
• Motor Launch, a type of small Royal Navy vessel used by British Coastal Forces
• A holder of the Mountain Leader Award, a UK qualification for leading groups in mountains, hills and moorlands
• Mountain Leader, a qualification within the British Royal Marines
• Movimiento Libertario, a libertarian political party in Costa Rica
• Muzzle-loading, a firearms-related term that commonly applies to black-powder small arms
• ML postcode area, the Motherwell postcode area, Scotland, United Kingdom
• Richter local magnitude (M), used to measure energy released in earthquakes
• Roman numeral for 1050
• A Unified Soil Classification System symbol for silt
• Dean ML, a model of electric guitar

ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, ML stands for MetaLanguage: it was conceived to develop proof tactics in the LCF theorem prover (whose language, pplambda, a combination of the first-order predicate calculus and the simply-typed polymorphic lambda calculus, had ML as its metalanguage). It is known for its use of the Hindley–Milner type system, whose type inference algorithm can automatically assign the types of most expressions without requiring explicit type annotations. Additionally, the use of this algorithm ensures type safety—there is a formal proof that a well-typed ML program does not cause runtime type errors.