Pages that link to "Item:Q1322477"
From MaRDI portal
The following pages link to Singleton, union, and intersection types for program extraction (Q1322477):
Displaying 5 items.
- \(QPC_ 2\): A constructive calculus with parameterized specifications (Q1322848) (← links)
- Intersection and singleton type assignment characterizing finite Böhm-trees (Q1854555) (← links)
- Lightweight Static Capabilities (Q2866337) (← links)
- Manifest Fields and Module Mechanisms in Intensional Type Theory (Q3638256) (← links)
- Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models (Q5958296) (← links)
