6 citations · 9 across the 6 of their papers we have counts for
1 paper · 1 filter
Zena M. Ariola, Paul Downen, Hugo Herbelin
Structural recursion is a common technique used by programmers in modern languages and is taught to introductory computer science students. But what about its dual, structural core…