Reasoning with Continuations II: Full Abstraction for Models of Control (1990)

by Dorai Sitaram , Matthias Felleisen
Venue:In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming
Citations:32 - 4 self

Document Versions

Reasoning with Continuations II: Full Abstraction for Models of Control –Dorai Sitaram, Matthias Felleisen — 1990 — In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming
Reasoning with Continuations II: Full Abstraction for Models of Control Two Corrections –Dorai Sitaram, Matthias Felleisen — 1992