Zippy Tabulations of Recursive Functions (Mathematics of Program Construction, 2008)

(untitled) - Bird, R