Nested datatypes (1998)

by R Bird, L Meertens
Venue:Proc. of 4th Int. Conf. on Mathematics of Program Construction, MPC ’98 (Marstrand