The Calculi of v -conversion: A Syntactic Theory of Control and State in Imperative Higher-Order Programming Languages (1986)

by M Felleisen