Hello, you have come here looking for the meaning of the word
ML. In DICTIOUS you will not only get to know all the dictionary meanings for the word
ML, but we will also tell you about its etymology, its characteristics and you will know how to say
ML in singular and plural. Everything you need to know about the word
ML you have here. The definition of the word
ML will help you to be more precise and correct when speaking or writing your texts. Knowing the definition of
ML, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
Translingual
Etymology 1
Symbol
ML
- Alternative form of Ml (“megalitre”)
Etymology 2
Symbol
ML
- (international standards) ISO 3166-1 alpha-2 country code for Mali.
- Synonym: MLI (alpha-3)
Etymology 3
Symbol
ML
- (astronomy) Lunar mass: a unit of measurement, equal to the mass of the Moon.
- Synonym: M☾
- (sum of parts) The mass of the Moon specifically.
English
Proper noun
ML
- (computing) Initialism of Markup Language.
- (computer languages) Initialism of MetaLanguage (the ML programming language)
1991 December 20, Henk P. Barendregt, “Lambda Calculi With Types”, in ftp.cs.ru.nl, retrieved 2012-07-15: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'.
- (linguistics) Initialism of Medieval Latin.
- (linguistics) Initialism of Middle Latin.
- (Marxism) Initialism of Marxism-Leninism.
Hyponyms
Noun
ML (countable and uncountable, plural MLs)
- (countable, surface chemistry) Initialism of monolayer.
- (uncountable, computing) Initialism of machine learning.
- (countable, computing) Initialism of mailing list.
- (uncountable, sciences) Initialism of maximum likelihood.
- (countable, military) Initialism of muzzleloader.
- (military) Initialism of munitions list. (category of controlled goods under the Wassenaar Arrangement)
- (countable, Marxism) Initialism of Marxist-Leninist.
Hyponyms
Anagrams
Chinese
Pronunciation
|
This entry needs pronunciation information. If you are familiar with the IPA then please add some!
|
Verb
ML
- (Internet slang) to make love
Finnish
Initialism
ML
- Initialism of Maalaisliitto, a Finnish political party until 1965, now Suomen Keskusta.
Spanish
Proper noun
ML f
- abbreviation of Morelos (Mexican state)
Noun
ML m
- (Marxism) initialism of marxismo-leninismo; ML
Noun
ML m or f by sense (plural #)
- (Marxism) initialism of marxista-leninista; ML