Kid is a kernel programming language created by id Software. It is a refinement of P-TAC , used as an intermediate language at Id Software.
Kid is based on the Lambda-calculus with first-class let -blocks and I-structures .
References
- "A Syntactic Approach to Program Transformations", Z. Ariola et. al., SIGPLAN Notices 26(9):116-129 (Sept 1991).