英文字典中文字典51ZiDian.com

The Free On-line Dictionary of Computing (foldoc)

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)

请选择你想看的字典辞典：

单词	字典	翻译
LML	查看　LML　在百度字典中的解释	百度英翻中〔查看〕
LML	查看　LML　在Google字典中的解释	Google英翻中〔查看〕
LML	查看　LML　在Yahoo字典中的解释	Yahoo英翻中〔查看〕