The following pages link to A theory of qualified types (Q1330435):
Displaying 7 items.
- A Church-style intermediate language for ML\(^{\text F}\) (Q428892) (← links)
- Principal type schemes for functional programs with overloading and subtyping (Q1346684) (← links)
- A minimalistic many-valued theory of types (Q3133165) (← links)
- The Clausal Theory of Types (Q3184628) (← links)
- (Q4247306) (← links)
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows (Q5041106) (← links)
- An ML-style record calculus with extensible records (Q6653744) (← links)