Dictionary De - En
De - Es
De - Pt| English Dictionary: LML | by the DICT Development Group |
| 1 result for LML | |
| From The Free On-line Dictionary of Computing (15Feb98) [foldoc]: | |
|
LML 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 program}s. ["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) | |
