Declarative continuations: an investigation of duality in programming language semantics (1989)

by A Filinski
Venue:In Category Theory and Computer Science