Mixin composition synthesis based on intersection types

DOI10.23638/LMCS-14(1:18)2018MaRDI QIDQ4637692zbMATH OpenFDO

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

zbMATH Keywords

combinatory logicintersection typemixinrecord calculustype inhabitation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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

Cited in

(5)

• Implementing compositional analysis using intersection types with expansion variables
• Using inhabitation in bounded combinatory logic with intersection types for composition synthesis
• scientific article; zbMATH DE number 7526056 (Why is no real title available?)
• scientific article; zbMATH DE number 6744146 (Why is no real title available?)
• Staged composition synthesis

Describes a project that uses

Uses Software

• Lambda Library C++
• Z
• Featherweight Java
• Simula 67
• Haskell
• 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)