The following pages link to Intersection and union types (Q5096243):
Displaying 10 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Intersection type assignment systems (Q1350344) (← links)
- The ``relevance'' of intersection and union types (Q1381437) (← links)
- Infinite intersection types (Q1887155) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- The relevance of semantic subtyping (Q2842838) (← links)
- Disjoint intersection types (Q2985786) (← links)
- Type Fusion (Q3067469) (← links)
- (Q4473165) (← links)
- Intersection types in Java: back to the future (Q6165811) (← links)