31 citations · 35 across the 5 of their papers we have counts for
1 paper · 1 filter
Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy
We present an abstract machine and a reduction semantics for the lambda-calculus extended with control operators that give access to delimited continuations in the CPS hierarchy. T…