英文字典中文字典Word104.com
|
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 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) |
安裝中文字典英文字典查詢工具!
英文字典中文字典相關資料:
|
中文字典-英文字典 2005-2009
|中文姓名英譯,姓名翻譯 |简体中文英文字典