Local type inference

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1998, Pages 252-265

  Pierce, Benjamin C ^a   Turner, David N ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL METHODS; CONSTRAINT THEORY; MATHEMATICAL MORPHOLOGY; PROBLEM SOLVING; STATISTICAL METHODS; TREES (MATHEMATICS);

LOCAL CONSTRAINT SOLVERS; POLYMORPHISM;

INFERENCE ENGINES;

EID: 0031648686     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/268946.268967     Document Type: Conference Paper

References (40)