Pages that link to "Item:Q2732171"
From MaRDI portal
The following pages link to From Polyvariant flow information to intersection and union types (Q2732171):
Displaying 5 items.
- Type systems equivalent to data-flow analyses for imperative languages (Q860844) (← links)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Efficient and flexible matching of recursive types (Q1854490) (← links)
- Abstract allocation as a unified approach to polyvariance in control-flow analyses (Q4625159) (← links)
