A Structured Approach to Retrieving Functions by Types

Abstract

There have been proposed methods of searching for fonctions by using types of the dictions as search keys [ 1,2,3, 4, 51. Runciman and Toyn [4] presented a method of retrieving a function using the type of the function implicitly formulated from the contexts. In [2, 31 Rittri described type-based retrieval methods in which the type of the desired fimction… (More)
DOI: 10.1145/289423.289473

Topics

Cite this paper

@inproceedings{An1998ASA, title={A Structured Approach to Retrieving Functions by Types}, author={Nancy An and Young Park}, booktitle={ICFP}, year={1998} }