Circularity and Lambda Abstraction: From Bird to Pettorossi and back

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]

Authors

Olivier Danvy

Identified as Olivier Danvy

Peter Thiemann

This author has not been identified. It may be one of the following persons: Look up 'Peter Thiemann' in Google

Ian Zerny

This author has not been identified. Look up 'Ian Zerny' in Google