Joint work with Olivier Danvy and Jacob Johannsen.

Abstract

To celebrate the 20th anniversary of PEPM, we are inviting you to a walk in the semantic park and to inter-derive reduction-based and reduction-free negational normalization functions.

References

Olivier Danvy, Jacob Johannsen and Ian Zerny. A Walk in the Semantic Park. In Siau-Cheng Khoo and Jeremy Siek, editors, Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2011). ACM Press, January 2011, 1–12. Invited talk. [DOI], [BIB], [PDF].

Official website for the ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation, PEPM’11.