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-