Type inference with subtypes

Theoretical Computer Science

Volumn 73, Issue 2, 1990, Pages 155-175

  Fuh, You Chin ^a   Mishra, Prateek ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING--ALGORITHMS;

SUBTYPES; TYPE INFERENCE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0025444758     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(90)90144-7     Document Type: Article

References (16)

1. Principal type schemes for functional programs
2. Strictness analysis: a new perspective based on type inference
3. Polymorphic type inference
4. Implementation issues for standard ML
5. An efficient unification algorithm
6. Declaration-free type inference
7. Coercion and type inference
8. Type inference and type containment
9. Typechecking records and variants in a natural extension of ML
10. Transformational systems and the algebraic structure of atomic formulas
11. Using category theory to design implicit conversions and generic operators
12. Three approaches to type structure
13. Type inference with partial types