Nested Datatypes
Richard S. Bird and Lambert Meertens
Details
| Address |
Marstrand‚ Sweden |
| Book Title |
LNCS 1422: Proceedings of Mathematics of Program Construction |
| Editor |
Johan Jeuring |
| Month |
jun |
| Pages |
52–67 |
| Publisher |
Springer−Verlag |
| Year |
1998 |
Links
Related pages
|
People |
|
|
Activities |