Definition & Meaning | Spanish word ML

Definitions of ML

1. Abbreviation of Morelos (Mexican state)
2. (Marxism) initialism of marxismo-leninismo; ML
3. (Marxism) initialism of marxista-leninista; ML

Examples of Using ML in a Sentence

• La construcción correspondiente en los lenguajes de programación se llama Tipo de dato abstracto Sus reglas de tipo polimórficas fueron introducidas por Robin Milner junto con la definición del lenguaje Standard ML y han sido adoptadas desde entonces en diversos lenguajes de programación, sobre todo en los lenguajes de programación funcionales.
• ML es el acrónimo inglés de metalenguaje dado que fue concebido como el lenguaje para desarrollar tácticas de demostración en el sistema LCF (El lenguaje para el cual ML era metalenguaje es pplambda, una combinación del cálculo de predicados de primer orden y el lambda-cálculo polimórfico sencillamente tipificado).
• El demostrador interactivo de teoremas Isabelle es una herramienta de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada por Larry Paulson de la Universidad de Cambridge y Tobias Nipkow de la Universidad Técnica de Múnich.
• LCF introdujo el lenguaje de programación ML, para permitir al usuario escribir tácticas de demostración.
• Extiende la sintaxis de ML para incluir axiomas de semántica, los cuales pueden no ser ejecutables pero que sirven para especificar rigurosamente el comportamiento de un programa.
• A diferencia de muchos otros lenguajes de programación, SML tiene una especificación formal, como semántica operacional publicada en el libro The Definition of Standard ML.
• Ha producido muchas aplicaciones ampliamente utilizadas, particularmente se diseñó allí el lenguaje Caml y sus sucesores Caml Light y OCaml, que son todos lenguajes de la familia de lenguajes ML.
• La fermentación maloláctica (a veces en la literatura aparece abreviadamente como fermentación ML, FML, o incluso como conversión maloláctica) es el proceso por el cual el ácido málico (presente en la pulpa de muchas frutas) se transforma químicamente en ácido láctico; por medio de bacterias de origen láctico existentes de forma natural en el entorno, o en el interior de la fruta misma.
• Si empiezan por 1, 4 o 5 indica que fue manufacturado en Estados Unidos, 2 en Canadá, 3 en México, A - AH en Sudáfrica, J en Japón, KL - KR en Corea del Sur, L en China, MA - ME en India, MF - MK en Indonesia, ML - MR en Tailandia, PA - PE en Filipinas, PL - PR en Malasia, SA - SM en Reino Unido, SN - ST - W en Alemania, SU - SZ en Polonia, TA - TH en Suiza, TJ - TP en República Checa, TR - TV en Hungría, UU - UZ en Rumanía, VA -hy VE en Austria, VF - VR en Francia, VS - VW en España, X3 - X0 en Rusia, YA - YE en Bélgica, YF - YK en Finlandia, YS - YW en Suecia, ZA - ZR en Italia, 6A - 6W en Australia, 7A - 7E en Nueva Zelanda, 8A - 8E en Argentina, 8F - 8J en Chile, 8X - 82 en Venezuela, 9A - 9E - 93 - 99 en Brasil, 9F - 9J - 9G en Colombia, RF - RK Taiwán.
• Es un dialecto de Standard ML, extendido con soporte para evaluación perezosa, Concurrencia (Programación muti-hebras y programación distribuida por medio de llamada remota de procedimientos) y Programación por restricciones.
• 9% de los votos y siendo por segunda vez el tercer candidato más votado, desde entonces los cuestionamientos a la financiación de las campañas del ML suben de tono y es cuando uno de sus candidatos a alcalde, mayor financista de la campaña presidencial del 2010, Olman Rimola, fue arrestado en mayo del 2011 por lavado de activos.
• El Movimiento Laborista (abreviado como ML) es un partido político de Venezuela, de centro político, fundado en el año 2002 por el exprocurador general de la República, Jesús Petit Da Costa y el sindicalista Froilán Barrios Nieves.
• De esa manera y en parte por impulso del ML 7 de julio se crea en 1961 el Movimiento de Fuerzas Revolucionarias (MFR), que agrupa en su seno a anarquistas, trotskistas, maoístas, socialistas y comunistas no-alineados, dando inicio a la vía insurreccional con importante presencia en el mundo sindical.

Page preparation took: 575.90 ms.