Retrieving reusable software components by polymorphic type (1991)

by C Runciman, I Toyn
Venue:J. Functional Programming