1 paper
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…