Pages that link to "Item:Q4542147"
From MaRDI portal
The following pages link to A calculus with polymorphic and polyvariant flow types (Q4542147):
Displaying 12 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)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- From polyvariant flow information to intersection and union types (Q2732171) (← links)
- Intersection typed \(\lambda \)-calculus (Q2842843) (← links)
- Quantitative Information Flow, Relations and Polymorphic Types (Q3025333) (← 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)
- Type-Based Productivity of Stream Definitions in the Calculus of Constructions (Q5271060) (← links)
- Programming Languages and Systems (Q5316578) (← links)