10 citations · 19 across the 6 of their papers we have counts for
Showing 2021Show all
2 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…