The following pages link to (Q3787979):
Displaying 13 items.
- The correctness of Newman's typability algorithm and some of its extensions (Q549191) (← links)
- Type inference with recursive types: Syntax and semantics (Q756435) (← links)
- Type inference with subtypes (Q914357) (← links)
- Safety analysis versus type inference for partial types (Q1199876) (← links)
- Derivation and inference of higher-order strictness types (Q1749138) (← links)
- Simplifying subtyping constraints: a theory (Q1854464) (← links)
- Backward type inference for XML queries (Q2182320) (← links)
- Disjoint Polymorphism (Q2988630) (← links)
- An analysis of the Core-ML language: Expressive power and type reconstruction (Q4632418) (← links)
- Type reconstruction with recursive types and atomic subtyping (Q5044773) (← links)
- Operations on records (Q5096252) (← links)
- Type Inference for Rank 2 Gradual Intersection Types (Q5098736) (← links)
- Introduction to Type Theory (Q5191087) (← links)
