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

researchr

You are not signed in
Sign in
Sign up

Daniil Berezun, Neil D. Jones. Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). In Ulrik Pagh Schultz, Jeremy Yallop, editors, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017. pages 1-11, ACM, 2017. [doi]

This author has not been identified. Look up 'Daniil Berezun' in GoogleThis author has not been identified. It may be one of the following persons:

Neil D. Jones

Look up 'Neil D. Jones' in Google

runs on WebDSL