Webster's Online Dictionary
with Multilingual Thesaurus Translation

 
   English     All Languages     Choose Language   
Earth's largest dictionary with more than 1226 modern languages and Eve!
 Login

Definition: Ml

Part of Speech Definition
Noun 1. A metric unit of volume equal to one thousandth of a liter.[Wordnet].

Source: WordNet 3.0 Copyright © 2006 by Princeton University. All rights reserved.

 Top

"Ml" is a common misspelling or typo for: MP, Mo, Mel, MI, lm, mal, mil, MLS, MLR, mol, DML, MPL, MSL, WML, MLC, MLT, AML, MLD, MLG, MLV, MLM, XML.

Date "Ml" was first used in popular English literature: sometime before 1695. (references)

Common Expressions: Ml

Expressions Definition
(10302) 1989 ML (10302) 1989 ML is an as yet unnamed near-Earth asteroid. It is approximately 0.6 km in diameter. It orbits between Earth and Mars. It is an X-type asteroid which means that it is metallic in composition. It was discovered by Eleanor F. Helin and J. Alu at Palomar Observatory on 29 June, 1989. (references)
Concurrent ML Concurrent ML (CML) is a concurrent extension of the Standard ML programming language. (references)
Dependent ML programming language Dependent ML is an experimental functional programming language proposed by Frank Pfenning and Hongwei Xi. Dependent ML extends ML by a restricted notion of dependent types: types may dependent on static indices of type Nat. Dependent ML employs a constraint theorem prover to decide a strong equational theory over the index expressions. (references)
Extended ML Extended ML is a specification language created by Kahrs, Sannella and Tarlecki based on the ML programming language. It extends the syntax of ML to include axioms, which need not be executable but can rigorously specify the behavior of the program. With this addition the language can be used for stepwise refinement, proceeding gradually from an initial formal specification to eventually yield an executable Standard ML program. Correctness of the final executable SML program with respect to the original specification can then be established by proving the correctness of each refinement step. Extended ML is used for research into and teaching of formal program development and specification, and research into automatic program verification. (references)
Extensible ML Extensible ML (EML) is an ML-like programming language that adds support for object-oriented idioms in a functional setting. EML extends ML-style datatypes and functions with a class construct designed to be extended into hierarchies, thus allowing the programmer to seamlessly integrate the object-oriented programming paradigm with the traditional functional style. (references)
Ml iPod The Winamp iPod plugin (aka ml_ipod) is a plugin for Winamp which allows you to manage your iPod from within Winamp, as opposed to using iTunes. It provides varying levels of support for all iPods, from the classic first generation iPods, to the iPod shuffle and the latest models (For instance if you play your songs off the iPod photo it will stop Album Art from being displayed on the iPod until the songs have been played in iTunes again). (references)
Moscow ML Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research. Version 2.00 implements the full SML language, including SML Modules, and much of the SML Basis Library. (references)
Standard ML of New Jersey Standard ML of New Jersey (abbreviated SML/NJ) is a compiler and programming environment for Standard ML. Aside from its runtime system, which is written in C, SML/NJ is written in Standard ML. It was developed jointly by Bell Laboratories and Princeton University. (references)

Source: compiled by the editor from various references; see credits.

Top

Specialty Expressions: Ml

Expressions Domain Definition
ANU ML Computing An implementation of SML by the Australian National University for Motorola 68020, Vax and Pyramid. (1995-11-26). Source: The Free On-line Dictionary of Computing..
Concurrent ML Computing Concurrent ML (CML) A concurrent extension of SML/NJ written by J. Reppy at Cornell University in 1990. CML supports dynamic thread creation and synchronous message passing on typed channels. Threads are implemented using first-class continuations. First-class synchronous operations allow users to tailor their synchronization abstractions for their application. CML also supports both stream I/O and low-level I/O in an integrated fashion. Latest version: 0.9.8, as of 1994-12-21, requires SML/NJ 0.75 or later. (ftp://ftp.cs.cornell.edu/pub/). E-mail: (bugs). ["CML: A Higher-Order Concurrent Language", John H. Reppy, SIGPLAN Notices 26(6):293-305, June 1991]. (2000-08-09). Source: The Free On-line Dictionary of Computing..
Extended ML Computing A language by Don Sannella of the University of Edinburgh combining algebraic specification and functional programming. ["Program Specification and Development in Standard ML", D. Sannella et al, 12th POPL, ACM 1985]. (1994-12-12). Source: The Free On-line Dictionary of Computing..
Forced expiratory flow between 200 and 1200 ml of the forced vital capacity,forced expiratory flow 200-1200,FEF200-1200,maximal expiratory flow rate 200-1200,MEFR200-1200 Medicine The average flow rate for the liter of gas expired after the first 200 ml during a forced expiratory maneuver. Source: European Union. (references)
Lazy Standard ML Computing Lazy Standard ML (LSML) A lazy variant of SML, allowing cyclic val definitions, by Prateek Mishra . Latest version: 0.43-1, as of 1993-11-15. Not to be confused with LML. (ftp://sbcs.sunysb.edu/pub/lsml). (1999-08-30). Source: The Free On-line Dictionary of Computing..
Micro ML Computing Micro ML (uML) An interpreter for a subset of SML. Runs on MS-DOS. Written at the University of Umea, Sweden. (ftp://ftp.cs.umu.se/pub/umlexe01.zoo). Source: The Free On-line Dictionary of Computing..
ML (land status records) Environment Mineral location. (references)
ML Kit Computing ML Kit The ML Kit is a straight translation of the Definition of Standard ML into a collection of Standard ML modules. For example, every inference rule in the Definition is translated into a small piece of Standard ML code which implements it. The translation has been done with as little originality as possible - even variable conventions from the Definition are carried straight over to the Kit. The Kit is intended as a tool box for those people in the programming language community who may want a self-contained parser or type checker for full Standard ML but do not want to understand the clever bits of a high-performance compiler. We have tried to write simple code and modular interfaces. Version 1 interpreter, documentation Nick Rothwell, David N. Turner, Mads Tofte , and Lars Birkedal at Edinburgh and Copenhagen Universities. (ftp://ftp.diku.dk/diku/users/birkedal/). UK: ftp export/ml/mlkit/ from lfcs.ed.ac.uk (1993-03-12). Source: The Free On-line Dictionary of Computing..
ML PED Aerospace Mobile Launcher Pedestal. (references)
ML Threads Computing ML Threads SML/NJ with mutual exclusion primitives similar to those in Modula-2+ and Mesa. Written by Greg Morrisett . Lightweight threads are created using fork. They are pre-emptively scheduled and communicate via shared memory which can be protected by a "mutex" (monitor). Implementations for Motorola 68020, SPARC and MIPS and VAX- and MIPS-based multiprocessors. ["Adding Threads to Standard ML", E. Cooper et al, CMU-CS-90-186, CMU Dec 1990]. Source: The Free On-line Dictionary of Computing..
Moscow ML Computing Moscow ML A light-weight implementation of Standard ML written by Sergei Romanenko of the Keldysh Institute of Applied Mathematics with assistance from Peter Sestoft , Royal Veterinary and Agricultural University. Moscow ML is based on CAML Light. Version: 1.20 implements the Standard ML Core language. The sublanguage of Modules implemented by Moscow ML contains signatures and non-nested structures, and identifies structures with source files. It is certainly less expressive than the full Standard ML Modules language, but the type-safe separate compilation facility is simple, useful, and easy to use. It is the intention to implement the full Standard ML Modules language (including functors) in due course. Compilation of a signature produces a compiled interface file, which is used when compiling other signatures and structures. Compilation of a structure produces a bytecode file. Bytecode files are compact and load fast. For instance, a 3250-line program consisting of 24 structures and 17 signatures compiles to 221 KB of bytecode and 241 KB of compiled signatures. Starting the ML system and loading the 24 bytecode files takes 1-2 cpu seconds plus network delays, less that 5 seconds real time in all. Release 1.20 permits loading of precompiled bytecode files into the top-level interactive session. The next release will be able to create stand-alone executables by linking bytecode files. There is a mechanism for adding basis libraries, as in Caml Light. Release 1.20 includes the basis libraries Array, List, and Vector and the MS-DOS version includes the Graphics library from Caml Light. In principle, Moscow ML can be compiled on any platform supported by Caml Light. So far we have tried Intel 80386-based IBM PCs running MS-DOS, Microsoft Windows, OS/2 or Linux, DEC MIPS running Ultrix, DEC Alpha running OSF/1, Sun-4 running SunOS, HP9000 running HP/UX, SGI MIPS running IRIX 5. Moscow ML is particularly useful when fast compilation and modest storage consumption are more important than fast program execution. Thanks to the efficient Caml Light run-time system used in Moscow ML, it compiles fast and uses little memory, typically 5-10 times less memory than SML/NJ 0.93 and 2-3 times less than Edinburgh ML. Yet the bytecode is only 3 to 10 times slower than SML/NJ 0.93 compiled native code (fast on IBM PCs, slower on RISCs). DOS (ftp://dina.kvl.dk/pub/Peter. Sestoft/mosml/mos12bin.zip). Linux (ftp://dina.kvl.dk: pub/Peter. Sestoft/mosml/linux-mos12bin.tar.gz). Source (ftp://dina.kvl.dk: pub/Peter. Sestoft/mosml/mos12src.tar.gz). Caml Light 0.61 and gcc are required to recompile Moscow ML for Unix or Caml Light 0.61, djgpp, Perl, and Borland C++ version 2.0 (or later) to recompile Moscow ML for DOS. (1994-12-12). Source: The Free On-line Dictionary of Computing..
POPLOG ML Computing SML for the Poplog system from the University of Sussex, UK. Source: The Free On-line Dictionary of Computing..
Standard ML Computing Standard ML (SML) Originally an attempt by Robin Milner ca. 1984 to unify the dialects of ML, SML has evolved into a robust general-purpose language. Later versions have been maintained by D. B. MacQueen, Lal George , and J. H. Reppy at AT&T, and A. W. Appel. SML is functional, with imperative features. It is environment based and strict. It adds to ML the call-by-pattern of Hope, recursive data types, reference types, typed exceptions, and modules. (The "core" language excludes the modules). Standard ML is polymorphically typed and its module system supports flexible yet secure large-scale programming. Standard ML of New Jersey is an optimizing native-code compiler for Standard ML that is written in Standard ML. It runs on a wide range of architectures. The distribution also contains: an extensive library - The Standard ML of New Jersey Library, including detailed documentation; Concurrent ML (CML); eXene - an elegant interface to X11 (based on CML); SourceGroup - a separate compilation and "make" facility. Implementations: SML/NJ, POPLOG ML, Poly/ML, Edinburgh SML, ANU ML, Micro ML, lazy sml2c.sml2c compiles to C. See also ML Kit. Version 0.93 runs on 68000, SPARC, MIPS, HPPA, RS/6000, Intel 386, Intel 486 and Macintosh. Manual (http://www.dcs.napier.ac.uk/course-notes/sml/manual.html). FTP from ATT (ftp://research.att.com/dist/ml/). FTP from Suny SB (ftp://sbcs.sunysb.edu/). Mailing list: sml-request@cs.cmu.edu. ["A Proposal for Standard ML", R. Milner, ACM Symp on LISP and Functional Prog 1984, pp. 184-197]. (1995-12-24). Source: The Free On-line Dictionary of Computing..
Standard ML of New Jersey Computing (SML/NJ) An implementation of SML by Andrew Appel at Princeton and Dave MacQueen at AT&T. Version 0.93. ["Standard ML of New Jersey", A. Appel et al, "Proc Third Intl Symp on Prog Lang Impl and Logic Programming", LNCS Springer 1991]. Versions for Unix, Mac. (ftp://cs.yale.edu/pub/ml), (ftp://research.att.com/dist/ml). Mailing list: sml@cs.cmu.edu. Source: The Free On-line Dictionary of Computing..

Source: compiled by the editor from various references; see credits.

Top

Abbreviations & Acronyms: Ml

The following table is compiled from various sources, across various languages. When English abbreviations or acronyms come from a non-English source, this is noted.
Entry Source Expression Field
ML Danish Republikken Mali Geography
ML Dutch Milieuvriendelijke landbouw Food & Agriculture, Environment
ML English Merryl Lynch & Co Finance
ML Finnish Malin tasavalta Geography
ML French République du Mali Geography, Law
ML German Republik Mali Geography, Law
ML Greek Μάλι· Μαλί Geography
ML Italian Repubblica del Mali Geography, Law
ML Portuguese República do Mali Geography
ML Spanish Malí Geography
ML Swedish Mali Geography
S ml English Statute mile N/A
Ml. Spanish Mililitro Meteorology & Standards
Source: compiled by the editor, based on several corpora (additional references).

Top

Extended Definition: ML

ML

ml may stand for:

  • millilitre (also spelled milliliter), a thousandth of a litre in the metric system. Abbreviation also spelled "mL" or "mℓ".
  • Malayalam language in the ISO 639-1 code.
  • .ml, the top-level Internet domain for Mali.

ML may stand for:

  • Major League Baseball usually abbreviated "MLB", but sometimes simply "ML".
  • some models of the Mercedes-Benz M-Class (e.g. ML320, ML430)
  • Medieval Latin
  • megalitre (also spelled megaliter), a million litres in the metric system
  • Merrill Lynch, an investment bank
  • Midway Airlines (ML) IATA airline designator
  • Motor Launch, small Royal Navy vessel used by Coastal Forces
  • Mountain Leader, rank within the British Royal Marines.
  • Movimiento Libertario, a libertarian political party in Costa Rica
  • Muzzle loading, a term used for British artillery.
  • Richter local magnitude (ML), used to measure energy released in earthquakes.
  • Unified Soil Classification System symbol for silt

Within computing:

  • in artificial languages:
    • ML (programming language)
    • a markup language (e.g.: SGML, XML, HTML)
    • a machine language
  • in email, a mailing list
  • in estimation theory, maximum likelihood
  • in artificial intelligence, the field of machine learning
  • in computer storage, MultiLevel Recording (as in ML CD-R or ML CD-RW)
  • Internet slang for "much love" or "make love", meaning sexual intercourse

Source: adapted by the editor from Wikipedia, the free encyclopedia under a copyleft GNU Free Documentation License (GFDL) from the article "ML"



Topics by Level of Interest: Ml

Topics sorted by level of Interest Level (1=low, 600=high)     Topics sorted Alphabetically Level (1=low, 600=high)
Standard ML 23     Concurrent ML 4
ML 14     Dean Metalman ML (bass) 5
Ordnance ML 3 inch Mortar 11     Dean ML 11
ML (programming language) 11     Dependent ML 3
Dean ML 11     Extended ML 4
Ml motorsport 9     Extensible ML 4
ML postcode area 8     ML 14
Ml ipod 7     ML (programming language) 11
Dean Metalman ML (bass) 5     Ml ipod 7
Standard ML of New Jersey 5     Ml motorsport 9
Concurrent ML 4     ML postcode area 8
Extensible ML 4     Moscow ML 2
Extended ML 4     Ordnance ML 3 inch Mortar 11
Dependent ML 3     Standard ML 23
Moscow ML 2     Standard ML of New Jersey 5

Source: the editor, created by/for EVE to gauge likely levels of human interest in linguistically triggered topics (compiled across various sources, such as Wikipedia and specialty expression glosses).

"ml" is a common misspelling or typo for: MP, Mo, Mel, MI, lm, mal, mil, MLS, MLR, mol, DML, MPL, MSL, WML, MLC, MLT, AML, MLD, MLG, MLV, MLM, XML.

Synonyms: ml
Position Synonyms (sorted by strength)

Noun

 mil, millilitre.

Other

 cc, milliliter.

Expression

 cubic centimeter, cubic centimetre.
Consider also: machine learning, metric capacity unit.
Source: Eve, based on meta analysis. Top

Computed Synonyms: ML

 Rank

 Intensity 

 Word

 Synonyms

 Synonyms of synonym

 1   2.0191   ML     millilitre     milliliter, mil, mnemonic, mean life, ML programming language   
 2   2.0093   ML     dribble     drip, trickle, slobber, drop, dribbling   
 3   2.0093   ML     drizzle     mizzle, sprinkle, fine drizzle, fine drizzling rain, haze   
 4   2.0093   ML     drogue     sea anchor, floating anchor, drag anchor, drug, take drugs   
 5   2.0092   ML     sprinkle     scatter, spray, spread, strew, spit   
 6   1.2278   ML     ML programming language     millilitre, linear meter   
 7   1.1198   ML     mil     thousand, one thousand, chiliad, mill, a thousand   
Source: calculated by Eve using graph theory. "Intensity" is a score indicating the number of overlapping cliques where the word pair is found (an integer before the decimal); the first digit after the decimal is the number of overlapping terminal characters up to 9; the second characters is number of leading common characters up to 9; the last two digits measure the Levenshtein distance subtracted from 100. Top

Computed Expressions: ML

 Rank

 Intensity 

 Expression

 Synonyms

 Synonyms of synonym

 1   1.2278   ML programming language     ML     millilitre, drogue   
 2   1.1180   ML programming language     millilitre     milliliter, mil   
 3   1.0180   ML programming language     linear meter     millilitres   
 4   1.0179   ML programming language     millilitres     millimeters, mils   
Source: calculated by Eve using graph theory. "Intensity" is a score indicating the number of overlapping cliques where the word pair is found (an integer before the decimal); the first digit after the decimal is the number of overlapping terminal characters up to 9; the second characters is number of leading common characters up to 9; the last two digits measure the Levenshtein distance subtracted from 100. Top

Translations: ml

Language Translations (or nearest inflections or synonyms, in parentheses)
Brazilian Portuguese chuviscar (dribble, drizzle, drogue, ml, sprinkle). Additional references: Brazilian Portuguese, Portugal, Angola, ml. (volunteer & more translations)
Chinese Simplified 毫升 (milliliter, millilitre, milliliters, ml), 新的 mercedes ml (new mercedes ml). Additional references: Chinese Simplified, China, Brunei, ml. (volunteer & more translations)
Chinese Traditional 毫升 (milliliter, millilitre, milliliters, ml), 新的 mercedes ml (new mercedes ml). Additional references: Chinese Traditional, China, Brunei, ml. (volunteer & more translations)
Dutch ML (millilitre, ML, ML programming language). Additional references: Dutch, Netherlands, Aruba, ml. (volunteer & more translations)
Hanguk Mal ML 프로그래밍 언어 (ML programming language). Additional references: Hanguk Mal, Korea, South, Korea, ml. (volunteer & more translations)
Hanguohua ML 프로그래밍 언어 (ML programming language). Additional references: Hanguohua, Korea, South, Korea, ml. (volunteer & more translations)
Japanese ミリリットル (millilitre, milliliter, mil, ml, millilitres), プログラミング言語ML (ML programming language). Additional references: Japanese, Japan, Taiwan, ml. (volunteer & more translations)
Korean ML 프로그래밍 언어 (ML programming language). Additional references: Korean, Korea, South, Korea, ml. (volunteer & more translations)
Portuguese chuviscar (dribble, drizzle, drogue, ml, sprinkle). Additional references: Portuguese, Portugal, Angola, ml. (volunteer & more translations)
Source: Eve, based on a combination of meta analysis and graph theory (for near and back translations). Top

Constructed Language Translations: ml

Language Translations for “ml” or closest synonym(s); back translations in parentheses.
Athag mathaglathag (ml). Additional references: Athag, ml. (volunteer)
Double Dutch maglag (ml). Additional references: Double Dutch, ml. (volunteer)
Leet [V]1 (ml). Additional references: Leet, ml. (volunteer)
Oppish moplop (ml). Additional references: Oppish, ml. (volunteer)
Pig Latin mlay (ml). Additional references: Pig Latin, ml. (volunteer)
Terran B chuvisc (ml). Additional references: Terran B, ml. (volunteer)
Ubbi Dubbi mublub (ml). Additional references: Ubbi Dubbi, ml. (volunteer)
Source: compiled by the editor. Top


Web Search Results: ml
Google
  Web www.websters-online-dictionary.org