An operational foundation for delimited continuations in the CPS hierarchy (2005)

Cached

Download Links

by Dariusz Biernacki , Olivier Danvy
Venue:Logical Methods in Computer Science
Citations:18 - 15 self