Compilation of l-calculus into functional machine code (1989)

by P Fradet, D Le M��tayer
Venue:In Proc. TAPSOFT'89, LNCS