Kid is a 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.

Reference

  • "A Syntactic Approach to Program Transformations", Z. Ariola et. al., SIGPLAN Notices 26(9):116-129 (Sept 1991).

This article was originally based on content from FOLDOC, used with permission. Update as needed.