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, SIGPLANNotices 26(9):116-129 (Sept 1991)]. (1996-07-22)