Reasoning about programs in continuation-passing style (1992)

by A Sabry, M Felleisen
Venue:In Lisp and Functional Programming