Direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus

Proceedings of the ACM Conference on LISP and Functional Programming

Volumn 7, Issue 3, 1994, Pages 196-207

  Kfoury, A J ^a   Wells, J B ^a  

^a BOSTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DIFFERENTIATION (CALCULUS); HEURISTIC METHODS; HIERARCHICAL SYSTEMS; INFERENCE ENGINES; PROGRAMMING THEORY;

ACYCLIC SEMIUNIFICATION; POLYMORPHISM; SECOND ORDER LAMBDA CALCULUS; TYPABILITY;

ALGORITHMS;

EID: 0028465744     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)