Using types as search keys in function libraries (1989)

by M Rittri
Venue:Journal of Functional Programming