Pages that link to "Item:Q636376"
From MaRDI portal
The following pages link to Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376):
Displaying 8 items.
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Intersection and union types in the \(\bar{\lambda}\mu\tilde{\mu}\)-calculus (Q2851091) (← links)
- Soundness and principal contexts for a shallow polymorphic type system based on classical logic (Q2889577) (← links)
- A Filter Model for the λμ-Calculus (Q3007668) (← links)
- Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming (Q3007669) (← links)
- Types as resources for classical natural deduction (Q5111320) (← links)
- Functional Type Assignment for Featherweight Java (Q5410450) (← links)
- Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models (Q5958296) (← links)
