Reasoning about programs in continuation-passing style.

Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 ◽

10.1145/141471.141563 ◽

1992 ◽

Author(s):

Amr Sabry ◽

Matthias Felleisen

Download Full-text