article · 1998

Local type inference

Haruo Hosoya, Benjamin C. Pierce, Haruo Hosoya, Benjamin C. Pierce

Cited by 0Abstract and details only

Abstract

A partial type inference technique should come with a simple and precise specification, so that users predict its behavior and understand the error messages it produces. Local type inference techniques attain this simplicity by inferring missing type information only from the types of adjacent syntax nodes, without using global mechanisms such as unification variables. The paper reports on our experience with programming in a full-featured programming language including higher-order polymorphism, subtyping, parametric datatypes, and local type inference. On the positive side, our experiments on several nontrivial examples confirm previous hopes for the practicality of the type inference method. On the negative side, some proposed extensions mitigating known expressiveness problems turn out to be unsatisfactory on close examination. 1

Cite this paper

APA 7

Hosoya, H., Pierce, B. C., Hosoya, H., & Pierce, B. C. (1998). Local type inference.

MLA 9

Hosoya, Haruo, et al. “Local type inference.” 1998.

Chicago

Hosoya, Haruo, Benjamin C. Pierce, Haruo Hosoya, and Benjamin C. Pierce. 1998. “Local type inference.”

Harvard

Hosoya, H. et al. (1998) ‘Local type inference’.

BibTeX

@article{hosoya1998local,
  title = {{Local type inference}},
  author = {Hosoya, Haruo and Pierce, Benjamin C. and Hosoya, Haruo and Pierce, Benjamin C.},
  year = {1998}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.