Authors
C Runciman, I Toyn
Publication date
1991/4
Journal
Journal of Functional Programming
Volume
1
Issue
2
Pages
191-212
Publisher
Cambridge University Press
Description
ABSTRACT Polymorphic types are labels classifying both (a) degned components in a
library and@) contexts of free variables in partially written programs. We propose to help
programmers make better use of software libraries by providing a system that, given (b).
identifies candidates from (a) with matching types. Assuming at first that matching means
unifying (ie having a common instance) we discuss efficient ways of implementing such a
retrieval system, and also indicate its likely effectiveness based on a quantitative study of ...
Total citations
199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201438296516642311144611111
Scholar articles
C Runciman, I Toyn - Proceedings of the fourth international conference on …, 1989