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)