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).
This article (or an earlier version of it) contains material from FOLDOC, used with permission.