6 citations · 12 across the 7 of their papers we have counts for
1 paper · 1 filter
Hsiang-Shang Ko, Shin-Cheng Mu, Jeremy Gibbons
We reconstruct some of the development in Richard Bird's [2008] paper Zippy Tabulations of Recursive Functions, using dependent types and string diagrams rather than mere simple ty…