Continuation Semantics -- Values, Contexts and Computations

by Raffaella Bernardi