lml

1 definition found

lml - Free On-line Dictionary of Computing (26 May 2007) :

  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 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)