Pages that link to "Item:Q2943370"
From MaRDI portal
The following pages link to Intersection types and computational effects (Q2943370):
Displaying 10 items.
- Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\) (Q636376) (← links)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- On the unity of duality (Q2482843) (← links)
- Judgmental subtyping systems with intersection types and modal types (Q2510384) (← links)
- Disjoint Polymorphism (Q2988630) (← links)
- Extensible Datasort Refinements (Q2988653) (← links)
- Intersection, Universally Quantified, and Reference Types (Q3644750) (← links)
- Termination checking with types (Q4659886) (← links)
- Taming the Merge Operator (Q5020905) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)