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-