Continuation Semantics in Typed Lambda-Calculi (1985)

by Albert R. Meyer, Mitchell Wand
Venue:Logics of Programs