Nested Datatypes
Richard S. Bird and Lambert Meertens infoaddress | 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
BibTeX
Link (pdf)
related pages
|
