[W/K] :: LML

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