A Walk in the Semantic Park

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. Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 2011). Siau-Cheng Khoo and Jeremy Siek. 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.