The calculi of λv-CS conversion: A syntactic theory of control and state in imperative higherorder programming languages (1987)

by Matthias Felleisen