Compiling Untyped Lambda Calculus to lower-level code by game semantics and partial evaluation
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation |
| Number of pages | 11 |
| Publisher | Association for Computing Machinery |
| Publication date | 2017 |
| Pages | 1-11 |
| ISBN (Electronic) | 978-1-4503-4721-1 |
| DOIs | |
| Publication status | Published - 2017 |
| Event | 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - Paris, France Duration: 16 Jan 2017 → 17 Jan 2017 |
Workshop
| Workshop | 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation |
|---|---|
| Land | France |
| By | Paris |
| Periode | 16/01/2017 → 17/01/2017 |
- Normalisation, traversal, game, untyped lambda calculus, semantics, partial evaluation, program transformation
Research areas
ID: 188230539