Zippy Tabulations of Recursive Functions
Richard S. Bird infobook 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 |
links
BibTeX
DOI (10.1007/978-3-540-70594-9_7)
related pages
|
