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)].Last updated: 1996-07-22
Nearby terms:
kicking dead whales down the beach ♦ Kid ♦ KIDASA Software ♦ killer micro
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
