ml \ml\, n.
   milliliter; -- the is standard abbreviation. abbreviation
   pjc

ml
     n : a metric unit of volume equal to one thousandth of a liter
         syn: milliliter, millilitre, mil, cubic
         centimeter, cubic centimetre, cc
see also:
milliliter millilitre mil cubic centimeter cubic centimetre cc 

ml
     meta language
     
     

ml
     mail list
     
     

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.
     
     
see also:
strict higher-order functional language polymorphic garbage collection semantics 
metalanguage lcf standard ml hope c 
unix stanford lisp pascal functional abstract machine lazy ml 

ml
     
         the country code for mali.
     
        1999-01-27
     
     
see also:
country code