Mixin Composition Synthesis based on Intersection Types
We present a method for synthesizing compositions of mixins using type inhabitation in intersection types. First, recursively defined classes and mixins, which are functions over classes, are expressed as terms in a lambda calculus with records. Intersection types with records and record-merge are u...
Main Authors: | Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2018-02-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/4160/pdf |
Similar Items
-
Typing Classes and Mixins with Intersection Types
by: Jan Bessai, et al.
Published: (2015-03-01) -
The Algebraic Intersection Type Unification Problem
by: Andrej Dudenhefner, et al.
Published: (2017-08-01) -
Intersection Types for the lambda-mu Calculus
by: Steffen van Bakel, et al.
Published: (2018-01-01) -
Knowledge Spaces and the Completeness of Learning Strategies
by: Stefano Berardi, et al.
Published: (2014-02-01) -
Retractability, games and orchestrators for session contracts
by: Franco Barbanera, et al.
Published: (2017-08-01)