31 citations · 43 across the 7 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023★ 1 cited
A Deforestation of Reducts: Refocusing
Olivier Danvy
In a small-step semantics with a deterministic reduction strategy, refocusing is a transformation that connects a reduction-based normalization function (i.e., a normalization func…
cs.LO2005★ 31 cited
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
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…