翻訳と辞書 Words near each other ・ ll ・ llc ・ llgen ・ llm3 ・ llnl ・ llp ・ lm-prolog ・ lm3 ・ lmao ・ lmds ・ lml ・ lmtp ・ lnf ・ lo ・ load ・ load balancing ・ lobotomy ・ loc ・ local area network ・ local area transport Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク LML ： 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 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) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.