The calculi of lambda-v-cs conversion: A syntactic theory of control and state in imperative higher-order programming languages (0)

by P J Landin