Elaborating intersection and union types
From MaRDI portal
Recommendations
Cites work
- A calculus for overloaded functions with subtyping
- A filter lambda model and the completeness of type assignment
- An ideal model for recursive polymorphic types
- Functional Characters of Solvable Terms
- scientific article; zbMATH DE number 5728681 (Why is no real title available?)
- scientific article; zbMATH DE number 3333259 (Why is no real title available?)
- Intersection and union types: Syntax and semantics
- Principality and type inference for intersection types using expansion variables
- Types with intersection: An introduction
Cited in
(19)- The ``relevance of intersection and union types
- Nominal essential intersection types
- Union and intersection types to support both dynamic and static typing
- Elaborating evaluation-order polymorphism
- Disjoint polymorphism
- Intersection types and overloading
- scientific article; zbMATH DE number 2080408 (Why is no real title available?)
- Untangling typechecking of intersections and unions
- Taming the merge operator
- The -calculus: syntax and types
- The -framework
- Intersection and union types
- Elaborating intersection and union types
- Isomorphism of intersection and union types
- Intersection types in Java: back to the future
- Applicative intersection types
- A calculus with recursive types, record concatenation and subtyping
- Pregrammars and intersection types
- Intersection types via finite-set declarations
This page was built for publication: Elaborating intersection and union types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2875228)
