Mixin composition synthesis based on intersection types

DOI10.23638/LMCS-14(1:18)2018zbMATH Open1433.03034arXiv1712.06906MaRDI QIDQ4637692FDOQ4637692

Authors: Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof 

Publication date: 25 April 2018

Full work available at URL: https://arxiv.org/abs/1712.06906

Recommendations

• scientific article; zbMATH DE number 6744146
• Using inhabitation in bounded combinatory logic with intersection types for composition synthesis
• Staged composition synthesis
• Mixin modules
• Type inference, principal typings, and let-polymorphism for first-class mixin modules

zbMATH Keywords

combinatory logicintersection typetype inhabitationrecord calculusmixin

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (5)

• Title not available (Why is that?)
• Implementing compositional analysis using intersection types with expansion variables
• Staged composition synthesis
• Title not available (Why is that?)
• Using inhabitation in bounded combinatory logic with intersection types for composition synthesis

Uses Software

• Lambda Library C++
• Haskell
• Z
• Featherweight Java
• Simula 67
• FeatherTrait

This page was built for publication: Mixin composition synthesis based on intersection types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4637692)