Monadic Maps and Folds for Arbitrary Datatypes (1994)

by Maarten Fokkinga
Venue:Memoranda Informatica, University of Twente