Nested datatypes (1998)

by R BIRD, L MEERTENS
Venue:In Proceedings 4th Int. Conf. on Mathematics of Program Construction, MPC’98, Marstrand