catflap.org Online Dictionary Query

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

  ml
       
           The country code for Mali.
       
          (1999-01-27)
       
       

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

  ML
       Meta Language
       
       

  ML
       Mail List
       
       

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

  .ml
     Translingual sym.
     The ccTLD for Mali as assigned by the IANA.

  ml
     Translingual alt.
     (SI-unit-abb milli litre fluid measure)
     Translingual sym.
     (SI-unit-abb milli litre fluid measure)

  ml.
     Finnish adv.
     (initialism of fi mukaan lukien or mukaan luettuna)

  mL
     Translingual sym.
     (SI-unit-abb2 milli liter litre volume)

  Ml
     Translingual alt.
     (SI-unit-abb2 mega liter litre fluid measure)
     Translingual sym.
     (SI-unit-abb2 mega liter litre fluid measure)

  ML
     n.
     1 (lb en countable surface chemistry) (init of en monolayer)
     2 (lb en uncountable computing) (init of en machine learning)
     3 (lb en countable computing) (init of en mailing list)
     4 (lb en uncountable science) (init of en maximum likelihood)
     5 (lb en countable military) (init of en muzzleloader)
     6 (lb en countable Marxism) (init of en Marxist-Leninist)
     n.
     1 (lb en computing) (init of en markup language Markup Language)
     2 (lb en computer language) (init of en metalanguage MetaLanguage
  nodot=1) {gloss|the (w ML (programming language) ML programming
  language)}
     sym.
     (lb mul astronomy) Lunar mass or lunar mass: a unit of measurement,
  equal to the mass of the Moon.
     Spanish n.
     (abbreviation of es nodot=1 Morelos) (Mexican state)

  ML
     n.
     1 (lb en countable surface chemistry) (init of en monolayer)
     2 (lb en uncountable computing) (init of en machine learning)
     3 (lb en countable computing) (init of en mailing list)
     4 (lb en uncountable science) (init of en maximum likelihood)
     5 (lb en countable military) (init of en muzzleloader)
     6 (lb en countable Marxism) (init of en Marxist-Leninist)
     n.
     1 (lb en computing) (init of en markup language Markup Language)
     2 (lb en computer language) (init of en metalanguage MetaLanguage
  nodot=1) {gloss|the (w ML (programming language) ML programming
  language)}
     sym.
     (lb mul astronomy) Lunar mass or lunar mass: a unit of measurement,
  equal to the mass of the Moon.

  .ml
     Translingual sym.
     The ccTLD for Mali as assigned by the IANA.

  ml
     Translingual alt.
     (SI-unit-abb milli litre fluid measure)
     Translingual sym.
     (SI-unit-abb milli litre fluid measure)

  ml.
     Finnish adv.
     (initialism of fi mukaan lukien or mukaan luettuna)

  mL
     Translingual sym.
     (SI-unit-abb2 milli liter litre volume)

  Ml
     Translingual alt.
     (SI-unit-abb2 mega liter litre fluid measure)
     Translingual sym.
     (SI-unit-abb2 mega liter litre fluid measure)

  ML
     n.
     1 (lb en countable surface chemistry) (init of en monolayer)
     2 (lb en uncountable computing) (init of en machine learning)
     3 (lb en countable computing) (init of en mailing list)
     4 (lb en uncountable science) (init of en maximum likelihood)
     5 (lb en countable military) (init of en muzzleloader)
     6 (lb en countable Marxism) (init of en Marxist-Leninist)
     n.
     1 (lb en computing) (init of en markup language Markup Language)
     2 (lb en computer language) (init of en metalanguage MetaLanguage
  nodot=1) {gloss|the (w ML (programming language) ML programming
  language)}
     sym.
     (lb mul astronomy) Lunar mass or lunar mass: a unit of measurement,
  equal to the mass of the Moon.
     Spanish n.
     (abbreviation of es nodot=1 Morelos) (Mexican state)

  .ml
     Translingual sym.
     The ccTLD for Mali as assigned by the IANA.

  ml
     Translingual alt.
     (SI-unit-abb milli litre fluid measure)
     Translingual sym.
     (SI-unit-abb milli litre fluid measure)

  ml.
     Finnish adv.
     (initialism of fi mukaan lukien or mukaan luettuna)

  mL
     Translingual sym.
     (SI-unit-abb2 milli liter litre volume)

  Ml
     Translingual alt.
     (SI-unit-abb2 mega liter litre fluid measure)
     Translingual sym.
     (SI-unit-abb2 mega liter litre fluid measure)

  ML
     n.
     1 (lb en countable surface chemistry) (init of en monolayer)
     2 (lb en uncountable computing) (init of en machine learning)
     3 (lb en countable computing) (init of en mailing list)
     4 (lb en uncountable science) (init of en maximum likelihood)
     5 (lb en countable military) (init of en muzzleloader)
     6 (lb en countable Marxism) (init of en Marxist-Leninist)
     n.
     1 (lb en computing) (init of en markup language Markup Language)
     2 (lb en computer language) (init of en metalanguage MetaLanguage
  nodot=1) {gloss|the (w ML (programming language) ML programming
  language)}
     sym.
     (lb mul astronomy) Lunar mass or lunar mass: a unit of measurement,
  equal to the mass of the Moon.
     Spanish n.
     (abbreviation of es nodot=1 Morelos) (Mexican state)

  ml.
     abbr.
     mukaan lukien

  ML
     Englanti abbr.
     ''machine learning'': koneoppiminen

  ml.
     abbr.
     mukaan lukien

  ML
     Engelska abbr.
     1 (tagg data språk=en) ''akronym för Markup Language''
     2 (tagg data språk=en) ''akronym för MetaLanguage''
  (programmeringsspråket ML)
     3 (tagg lingvistik språk=en) ''akronym för Medieval Latin'';
  medeltida latin
     4 (tagg lingvistik språk=en) ''akronym för Middle Latin''
     5 (tagg politik språk=en) ''akronym för Marxism-Leninism''
     6 (tagg data språk=en) ''akronym för machine learning'';
  maskininlärning
     7 (tagg kemi språk=en) ''akronym för monolayer''
     8 ''akronym för maximum likelihood''

  Mali /mˈɑliː/ (ML /ˌɛmˈɛl/) 
   [geogr.] Mali 
           Note: Kfz:

  Ml /ˌɛmˈɛl/
  المليلتر

  ml. /ˌɛmˈɛl/
    mililitr

  ml /ˌɛmˈɛl/
  1. (kıs.) Michigan.

  ML
     机器学习