Word:

ml

n.1.milliliter; - the IS standard abbreviation.
Noun1.ml - a metric unit of volume equal to one thousandth of a liter
1.(robotics)ML - Manipulator Language. IBM language for handling robots.
2.ML - 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].
3.(networking)ml - The country code for Mali.
Meta Languagecc, centiliter, centilitre, cl, cubic centimeter, cubic centimetre, cubic millimeter, cubic millimetre, metric capacity unit, mil, milliliter, millilitre
Translate ml to Spanish, Translate ml to German
Browse
Mixtly
Mixture
mizen
mizenmast
Mizmaze
Mizzen
mizzen course
Mizzenmast
Mizzle
Mizzy
MJ
MJS
mk
MKO
MKS
MKT
-- ml --
ML Kit
ML Threads
ML-2000
ML-lex
ML-Linda
ML-Twig
ML/I
MLA
MLAB
MLC
MLE
MLI
MLIA
MLID
MLISP
MLitt
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy