Olivier Danvy, Jacob Johannsen, Ian Zerny. A walk in the semantic park. In Siau-Cheng Khoo, Jeremy G. Siek, editors, Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011. pages 1-12, ACM, 2011. [doi]