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

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