Reasoning about Programs in Continuation-Passing Style (0)

by Amr Sabry Sabry, Matthias Felleisen
Venue:Lisp and Symbolic Computation