Pages that link to "Item:Q1201298"
From MaRDI portal
The following pages link to Types with intersection: An introduction (Q1201298):
Displaying 10 items.
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- Intersection types for combinatory logic (Q1199823) (← links)
- Generalized filter models (Q1575259) (← links)
- Intersection and union types: Syntax and semantics (Q1893736) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- Elaborating intersection and union types (Q2875228) (← links)
- A classification of intersection type systems (Q4532620) (← links)
- (Q4708431) (← links)
- (Q5076061) (← links)
- Intersection types in Java: back to the future (Q6165811) (← links)