Reasoning About Programs in Continuation-Passing Style

Amr Sabry, Matthias Felleisen. Reasoning About Programs in Continuation-Passing Style. In Proceedings of the 1992 ACM Conference on LISP and Functional Programming. LFP '92, pages 288-298, Association for Computing Machinery, New York, NY, USA, 1992. [doi]

Authors

Amr Sabry

This author has not been identified. Look up 'Amr Sabry' in Google

Matthias Felleisen

Identified as Matthias Felleisen