Using types as search keys in function libraries (1989)

by M Rittri
Venue:In FPCA