1. Lazy ML.
A lazy, purely functional variant of ML designed by Thomas Johnson and Lennart Augustsson at the Chalmers University of Technology, Gothenburg, Sweden in 1984. LML is implemented on the G-machine, and was used to implement the first Haskell B compiler. There is a compiler (lmlc) and interpreter.
2. Logical ML.
Adds to Lazy ML a data type of “theories” whose objects represent logic programs.
[“Logic Programming within a Functional Framework”, A. Brogi et al, in Programming Language Implementation and Logic Programming, P. Deransart et al eds, LNCS 456, Springer 1990].


Read Also:

  • Lmp

    last menstrual period

  • Lm-prolog

    Lisp Machine Prolog. A Prolog interpreter in Zetalisp for the Lisp Machine developed by Ken Kahn and Mats Carlsson in 1983. (ftp://sics.se/archive/lm-prolog.tar.Z). [“LM-Prolog User Manual”, M. Carlsson et al, Uppsala Dec 1983]. (1994-12-14)

  • Lmr

    living marine resource

  • LMT

    1. local mean time. 1. licensed massage therapist 2. local mean time

Disclaimer: Lml definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.