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

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)