Pages that link to "Item:Q2851092"
From MaRDI portal
The following pages link to Expansion: the crucial mechanism for type inference with intersection types: a survey and explanation (Q2851092):
Displaying 4 items.
- A completeness result for a realisability semantics for an intersection type system (Q882122) (← links)
- Principality and type inference for intersection types using expansion variables (Q1884929) (← links)
- Implementing compositional analysis using intersection types with expansion variables (Q2842841) (← links)
- Programming Languages and Systems (Q5308705) (← links)