Compiling functional languages

Lispkit Lisp combinatory logic translating Lispkit into combinators graph-reduction the Lambda calculus bracket abstraction algorithms supercombinators pattern-matching categorical combinators reduction and transformation strictness analysis type systems simple Lispkit system.