Pages that link to "Item:Q4542147"
From MaRDI portal
The following pages link to A calculus with polymorphic and polyvariant flow types (Q4542147):
Displaying 7 items.
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- A verified framework for higher-order uncurrying optimizations (Q968367) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- Intersection Typed λ-calculus (Q2842843) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs (Q5041118) (← links)
- (Q5089030) (← links)
