Kid
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)].
| < Previous Terms | Terms Containing Kid | Next Terms > |
| ki kibibyte KIBO kiboze kick | Dynix glitch ha ha only serious HHOK KIDASA Software | KIDASA Software killer micro killer poke kill file kilo- |
