Using Types as Search Keys in Function Libraries (1989)

by M Rittri
Venue:Journal of Functional Programming