Kid programming language
From Wikipedia, the free encyclopedia.

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.

The original article can be found at: http://en.wikipedia.org/wiki/Kid_programming_language.
All text is available under the terms of the GNU Free Documentation License.