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-structure s.
["A Syntactic Approach to Program Transformations", Z. Ariola et al, SIGPLAN Notices 26(9):116-129 (Sept 1991)].
(1996-07-22)