Nested datatypes (1998)

by Richard Bird, Lambert Meertens
Venue:In MPC’98, volume 1422 of LNCS