browse words by letter
a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
x
y
z
lml |
1 definition found From The Free On-line Dictionary of Computing (13 Mar 01) [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)
This work is licensed under a
