| slovo | definícia |
ml
(mass) | ML
- Mali |
ml
(encz) | ml, n: |
ml
(gcide) | ml \ml\, n.
milliliter; -- the IS standard abbreviation. [abbreviation]
[PJC] |
ml
(wn) | ml
n 1: a metric unit of volume equal to one thousandth of a liter
[syn: milliliter, millilitre, mil, ml, {cubic
centimeter}, cubic centimetre, cc] |
ml
(foldoc) | 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].
(2006-07-21)
|
ml
(foldoc) | ml
The country code for Mali.
(1999-01-27)
|
ml
(vera) | ML
Machine Learning
|
ml
(vera) | ML
Mail List
|
ml
(vera) | ML
Maintenance Lead (JCP)
|
ml
(vera) | ML
Meta Language
|
| | podobné slovo | definícia |
calmly
(mass) | calmly
- pokojne, ticho |
firmly
(mass) | firmly
- napevno, silne, pevne |
gremlin
(mass) | gremlin
- škriatok |
harmlessness
(mass) | harmlessness
- nevinnosť |
mli
(mass) | MLI
- Mali |
mlt
(mass) | MLT
- Malta |
randomly
(mass) | randomly
- náhodne |
seamless
(mass) | seamless
- hladký |
seamlessly
(mass) | seamlessly
- hladko |
seemliness
(mass) | seemliness
- slušnosť |
slimline
(mass) | slimline
- úzky |
streamline
(mass) | streamline
- urýchliť |
hmla
(msas) | hmla
- fog, mist |
klamlivý
(msas) | klamlivý
- untruthful |
kolo, kolo mlynské za štyri rýnske
(msas) | kolo, kolo mlynské za štyri rýnske
- ring-a-rosy, ring-around-a-rosy, ring-around-the-rosy |
materské mlieko
(msas) | materské mlieko
- milk |
mladá pani
(msas) | mladá pani
- missis, missus |
mladík
(msas) | mladík
- guy, lad |
mladý
(msas) | mladý
- young, youth |
mletý
(msas) | mletý
- ground |
mliekareň
(msas) | mliekareň
- dairy |
mlieko
(msas) | mlieko
- milk |
mliekáreň
(msas) | mliekáreň
- creamery |
mliečne biely
(msas) | mliečne biely
- milk-white |
mlyn
(msas) | mlyn
- gristmill, mill |
mlynár
(msas) | mlynár
- miller |
mládenec
(msas) | mládenec
- lad |
mládež
(msas) | mládež
- youth |
mláka
(msas) | mláka
- puddle |
mlátička
(msas) | mlátička
- thrasher, thresher, threshing machine |
mláďa
(msas) | mláďa
- whelp, kid, suckling |
mlčať
(msas) | mlčať
- be quiet, be silent |
mlčiaci
(msas) | mlčiaci
- silent |
mrmlať
(msas) | mrmlať
- burble, drone on, gabble, hum, maunder, mumble, murmur, mutter, slur |
nemluvňa
(msas) | nemluvňa
- infant |
odmlka
(msas) | odmlka
- pause |
pomlčka
(msas) | pomlčka
- dash |
telové mlieko
(msas) | telové mlieko
- milk |
umlčať
(msas) | umlčať
- hush |
vstúpiť do zmluvného vzťahu
(msas) | vstúpiť do zmluvného vzťahu
- contract |
zahmliť
(msas) | zahmliť
- fog |
zazmluvniť
(msas) | zazmluvniť
- contract, covenant |
zmluva
(msas) | zmluva
- agreement, contract, covenant |
zmluvný
(msas) | zmluvný
- contractual, conventional |
čistiace mlieko
(msas) | čistiace mlieko
- lotion |
cistiace mlieko
(msasasci) | cistiace mlieko
- lotion |
hmla
(msasasci) | hmla
- fog, mist |
klamlivy
(msasasci) | klamlivy
- untruthful |
kolo, kolo mlynske za styri rynske
(msasasci) | kolo, kolo mlynske za styri rynske
- ring-a-rosy, ring-around-a-rosy, ring-around-the-rosy |
kramla
(msasasci) | kramla
- cramp |
materske mlieko
(msasasci) | materske mlieko
- milk |
mlada
(msasasci) | mlada
- whelp, kid, suckling |
mlada pani
(msasasci) | mlada pani
- missis, missus |
mladenec
(msasasci) | mladenec
- lad |
mladez
(msasasci) | mladez
- youth |
mladik
(msasasci) | mladik
- guy, lad |
mlady
(msasasci) | mlady
- young, youth |
mlaka
(msasasci) | mlaka
- puddle |
mlaticka
(msasasci) | mlaticka
- thrasher, thresher, threshing machine |
mlcat
(msasasci) | mlcat
- be quiet, be silent |
mlciaci
(msasasci) | mlciaci
- silent |
mlety
(msasasci) | mlety
- ground |
mliecne biely
(msasasci) | mliecne biely
- milk-white |
mliekaren
(msasasci) | mliekaren
- dairy, creamery |
mlieko
(msasasci) | mlieko
- milk |
mlyn
(msasasci) | mlyn
- gristmill, mill |
mlynar
(msasasci) | mlynar
- miller |
mrmlat
(msasasci) | mrmlat
- burble, drone on, gabble, hum, maunder, mumble, murmur, mutter, slur |
nemluvna
(msasasci) | nemluvna
- infant |
odmlka
(msasasci) | odmlka
- pause |
pomlcka
(msasasci) | pomlcka
- dash |
telove mlieko
(msasasci) | telove mlieko
- milk |
umlcat
(msasasci) | umlcat
- hush |
vstupit do zmluvneho vztahu
(msasasci) | vstupit do zmluvneho vztahu
- contract |
zahmlit
(msasasci) | zahmlit
- fog |
zamlknuty
(msasasci) | zamlknuty
- silent |
zazmluvnit
(msasasci) | zazmluvnit
- contract, covenant |
zemla
(msasasci) | zemla
- roll |
zmluva
(msasasci) | zmluva
- agreement, contract, covenant |
zmluvny
(msasasci) | zmluvny
- contractual, conventional |
aimless
(encz) | aimless,bezcílně Martin M.aimless,bezcílný adj: aimless,bezúčelný adj: |
|