Polytypic Functions Over Nested Datatypes
Ralf Hinze
Details
| Journal |
Discrete Mathematics and Theoretical Computer Science |
| Month |
sep |
| Number |
4 |
| Pages |
193−214 |
| Volume |
3 |
| Year |
1999 |
Links
Related pages
|
People |