follow Dictionary.com

How do you spell Hannukah?

lml

lml in Technology

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.
(ftp://ftp.cs.chalmers.se/pub/haskell/chalmers).
(1994-12-14)
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].
(1994-12-14)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for lml

0
0
Scrabble Words With Friends

Nearby words for lml