The DICT Development Group

Search for:
Search type:

Database copyright information
Server information

1 definition found
 for LML
From The Free On-line Dictionary of Computing (30 December 2018) :

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

Contact=webmaster@dict.org Specification=RFC 2229