1 citations · 1 across the 1 of their papers we have counts for
2 papers
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.PL2016
Proceedings of the Workshop on Continuations
Olivier Danvy, Ugo de'Liguoro
The notion of continuation is ubiquitous in many different areas of computer science, including systems programming, programming languages, algorithmics, semantics, logic, and cons…