Intersection and Union Types: Syntax and Semantics

• 1 June 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 119  (2) , 202-230
• https://doi.org/10.1006/inco.1995.1086

Abstract

Keywords

• REFINEMENT
• UNION
• SEMANTICS
• TYPE ASSIGNMENT SYSTEMS WITH INTERSECTION