Kid - Kernel language for Id. A refinement of P-TAC, used as an
intermediate language for Id. Lambda-calculus with first-class let-blocks,
plus I-structures. "A Syntactic Approach to Program Transformations", Z.
Ariola et al, SIGPLAN Notices 26(9):116-129 (Sept 1991).
Comments, Experience, Additions
Next Language: KISS