Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper).

Daniil Berezun, Neil D. Jones

Browse the full PEPM paper archive.