Continuation semantics in the typed lambda-calculus (1985)

by A Meyer, M Wand
Venue:In LNCS 193: Proceedings of Logics of Programs