An operational foundation for delimited continuations (0)

by Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
Venue:in the CPS hierarchy. Logical Methods in Computer Science