Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract)

We introduce a variant of the system of rank 2 intersection types with new typing rules for local definitions (let-expressions and letrec-expressions) and conditional expressions (if-expressions and case-expressions). These extensions are a further step towards the use of intersection types in “real” programming languages.