Dictionary    Maps    Thesaurus    Translate    Advanced >   

Tip: Click Thesaurus above for synonyms. Also, follow synonym links within the dictionary to find definitions from other sources.

1. WordNet® 3.0 (2006)
    n 1: a metric unit of volume equal to one thousandth of a liter
         [syn: milliliter, millilitre, mil, ml, cubic
         centimeter, cubic centimetre, cc]

2. The Collaborative International Dictionary of English v.0.48
ml \ml\, n.
   milliliter; -- the IS standard abbreviation. [abbreviation]

3. V.E.R.A. -- Virtual Entity of Relevant Acronyms (February 2016)
       Maintenance Lead (JCP)

4. V.E.R.A. -- Virtual Entity of Relevant Acronyms (February 2016)
       Mail List

5. V.E.R.A. -- Virtual Entity of Relevant Acronyms (February 2016)
       Meta Language

6. The Free On-line Dictionary of Computing (30 December 2018)

    The country code for Mali.


7. The Free On-line Dictionary of Computing (30 December 2018)

   1.  Manipulator Language.  IBM language for handling

   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

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


Common Misspellings >
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.

©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy