Pages that link to "Item:Q1884929"
From MaRDI portal
The following pages link to Principality and type inference for intersection types using expansion variables (Q1884929):
Displayed 7 items.
- On strong normalization and type inference in the intersection type discipline (Q930868) (← links)
- Typability and type checking in System F are equivalent and undecidable (Q1302292) (← links)
- De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: the untyped case (Q1764799) (← links)
- Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
- Implementing Compositional Analysis Using Intersection Types With Expansion Variables (Q2842841) (← links)
- Elaborating intersection and union types (Q2875228) (← links)
- Inhabitation of Low-Rank Intersection Types (Q3637206) (← links)