D Le Metayer[June 1988], "Compilation of lambda-calculus into functional machine code," INRIA (0)

by P Fradet