O.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy (0)

by M Biernacka, D Biernacki, Danvy
Venue:Department of Computer Science, University of Aarhus