Olivier Danvy, Peter Thiemann, Ian Zerny. Circularity and Lambda Abstraction: From Bird to Pettorossi and back. In Rinus Plasmeijer, editor, Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, Nijmegen, The Netherlands, August 28-30, 2013. pages 85, ACM, 2013. [doi]
Abstract is missing.