Acrónimo de “Meta Lenguaje”, es un lenguaje funcional que a diferencia de lenguajes convencionales de procesos, es matemáticamente «puro». Fue desarrollado por Robin Milner en la Universidad de Edimburgo a finales de los años 70. Entre sus características se incluye …

ML Acceder »