Generalised Folds for Nested Datatypes
Richard Bird and Ross Paterson
Details
| Journal |
Formal Aspects of Computing |
| Pages |
200–222 |
| Volume |
11 |
| Year |
1999 |
Links
Related pages
|
People |
|
|
Activities |