Reasoning with Continuations II: Full Abstraction for Models of Control

Dorai Sitaram, Matthias Felleisen. Reasoning with Continuations II: Full Abstraction for Models of Control. In LISP and Functional Programming. pages 161-175, 1990. [doi]

Abstract

Abstract is missing.