Compiling Functional Languages
Antoni Diller · 1988
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.