Programming Language - Kid


Kid

Kid - Kernel language for Id. A refinement of P-TAC, used as an
intermediate language for Id. Lambda-calculus with first-class let-blocks,
plus I-structures. "A Syntactic Approach to Program Transformations", Z.
Ariola et al, SIGPLAN Notices 26(9):116-129 (Sept 1991).

Comments, Experience, Additions

Next Language:   KISS


Language Search

 


Browse by Letter

A B C D E F G H I J K L M
N O P Q R S T U V W X Y Z


Kid Programming Language
http://www.programming-languages.co.uk/kid.html
Large list of computer programming languages arranged alphabetically, with explanations.






©Copyright 2007 - Programming Languages