Zippy Tabulations of Recursive Functions
Richard S. Bird
Details
| 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 |
Links
DOI (10.1007/978-3-540-70594-9_7)
Related pages
|
People |
|
|
Activities |