The following pages link to Efficient recursive subtyping (Q4847313):
Displaying 12 items.
- Type inference with non-structural subtyping (Q1355750) (← links)
- Types for access control (Q1575157) (← links)
- Satisfying subtype inequalities in polynomial space (Q1605226) (← links)
- Type soundness for path polymorphism (Q1744425) (← links)
- Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453) (← links)
- Efficient and flexible matching of recursive types (Q1854490) (← links)
- Non-structural subtype entailment in automata theory (Q1887157) (← links)
- Typed path polymorphism (Q2424892) (← links)
- Logic of subtyping (Q2500487) (← links)
- (Q4580227) (← links)
- Realization of Coinductive Types (Q5739360) (← links)
- A Sound Algorithm for Asynchronous Session Subtyping (Q5875400) (← links)
