Typing Classes and Mixins with Intersection Types

Jan Bessai, Boris Düdder, Andrej Dudenhefner +2

We study an assignment system of intersection types for a lambda-calculus with records and a record-merge operator, where types are preserved both under subject reduction and expan…