Zippy Tabulations of Recursive Functions
Richard S. Bird
Book Title
Mathematics of Program Construction
Editor
Philippe Audebaud and Christine Paulin−Mohring
ISBN
978−3−540−70593−2
Pages
92−109
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
5133
Year
2008