Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of LML

 
Computing Dictionary
 
 Definition: 

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].

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY