Rewriting Conversions Implemented with Continuations

Michael Norrish. Rewriting Conversions Implemented with Continuations. Journal of Automated Reasoning, 43(3):305-336, 2009. [doi]

Abstract

Abstract is missing.