Refine this word faster

Stronger alternatives Opposite tone Use in context Cross-language nuance

Ml

name, noun, slang

Definitions

Proper Noun
  1. 1
    Initialism of Markup Language. abbreviation, alt-of, initialism
  2. 2
    Initialism of MetaLanguage (“the ML programming language”). abbreviation, alt-of, initialism

    "The Curry and Church approaches to typed lambda calculus correspond to two paradigms in programming. In the first of these a program may be written without typing at all. Then a compiler should check whether a type can be assigned to the program. This will be the case if the program is correct. A well-known example of such a language is ML, see Milner (1984). The style of typing is called 'implicit typing'. The other paradigm in programming is called 'explicit typing' and corresponds to the Church version of typed lambda calculi. Here a program should be written together with its type. For these languages type-checking is usually easier, since no types have to be constructed. Examples of such languages are ALGOL 68 and PASCAL. Some authors designate the Curry systems as 'lambda calculi with type assignment and the Church systems as 'systems of typed lambda calculus'."

  3. 3
    Initialism of Medieval Latin. abbreviation, alt-of, initialism
  4. 4
    Initialism of Middle Latin. abbreviation, alt-of, initialism
  5. 5
    Initialism of Marxism-Leninism. Marxism, abbreviation, alt-of, initialism
Show 2 more definitions
  1. 6
    Abbreviation of Mobile Legends: Bang Bang. abbreviation, alt-of, colloquial
  2. 7
    Abbreviation of Meghalaya: a state of India. abbreviation, alt-of
Noun
  1. 1
    Initialism of monolayer. abbreviation, alt-of, countable, initialism
  2. 2
    a metric unit of volume equal to one thousandth of a liter wordnet
  3. 3
    Initialism of machine learning. abbreviation, alt-of, initialism, uncountable
  4. 4
    Initialism of mailing list. abbreviation, alt-of, countable, initialism
  5. 5
    Initialism of maximum likelihood. abbreviation, alt-of, initialism, uncountable
Show 5 more definitions
  1. 6
    Initialism of muzzleloader. abbreviation, alt-of, countable, initialism
  2. 7
    Initialism of munitions list, a category of controlled goods under the Wassenaar Arrangement. abbreviation, alt-of, countable, initialism, uncountable
  3. 8
    Initialism of Marxist-Leninist. Marxism, abbreviation, alt-of, countable, initialism
  4. 9
    Abbreviation of male lead. abbreviation, alt-of, countable, slang, uncountable
  5. 10
    Initialism of my love. Internet, abbreviation, alt-of, countable, initialism, uncountable

See also for "ml"

Synonyms Antonyms Rhymes Sentences Translate Word Type Pronunciation Word Forms

Next best steps

Find stronger synonymsSee usage examplesCheck pronunciation

Mini challenge

Want a quick game? Try Word Finder.