翻訳と辞書
Words near each other
・ kg
・ kgbvax
・ kh
・ khornerstone
・ khwarizmi
・ ki
・ kibibyte
・ kibo
・ kiboze
・ kick
・ kid
・ kidasa software
・ kill file
・ killer micro
・ killer poke
・ kilo-
・ kilobaud
・ kilobit
・ kilobits per second
・ kilobyte


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Kid : FOLDOC
Kid
Kernel language for Id. A refinement of P-TAC, used as an intermediate language for Id. Lambda-calculus with first-class {let}-blocks and {I-structures}.
["A Syntactic Approach to Program Transformations", Z. Ariola et al, SIGPLAN Notices 26(9):116-129 (Sept 1991)].
(1996-07-22)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.