2 citations · 3 across the 3 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2021
Classical (Co)Recursion: Mechanics
Paul Downen, Zena M. Ariola
Primitive recursion is a mature, well-understood topic in the theory and practice of programming. Yet its dual, primitive corecursion, is underappreciated and still seen as exotic.…
cs.PL2021★ 1 cited
Classical (Co)Recursion: Programming
Paul Downen, Zena M. Ariola
Our aim here is to illustrate how the benefits of structural corecursion can be found in a broader swath of the programming landscape than previously thought. Beginning from a tuto…
cs.PL2016★ 2 cited
First Class Call Stacks: Exploring Head Reduction
Philip Johnson-Freyd, Paul Downen, Zena M. Ariola
Weak-head normalization is inconsistent with functional extensionality in the call-by-name -calculus. We explore this problem from a new angle via the conflict between extension…