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)
Nearby terms:
KIBO « kiboze « kick « Kid » KIDASA Software » killer
micro » killer poke
