Nested Datatypes
Richard S. Bird and Lambert Meertens
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
Richard S. Bird and Lambert Meertens