dict.org

The DICT Development Group


Search for:
Search type:
Database:

Database copyright information
Server information


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

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

Contact=webmaster@dict.org Specification=RFC 2229