The following pages link to (Q4417863):
Displayed 9 items.
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- Extensible Datasort Refinements (Q2988653) (← links)
- Taming the Merge Operator (Q5020905) (← links)
- (Q5091145) (← links)
- Set Constraints, Pattern Match Analysis, and SMT (Q5098738) (← links)
- Type inference for rank-2 intersection types using set unification (Q6109501) (← links)
- Structural rules and algebraic properties of intersection types (Q6164466) (← links)
- Polarized subtyping (Q6166799) (← links)