Mixin modules

DOI10.1145/232627.232654MaRDI QIDQ2817705zbMATH OpenOpenAlexFDO

Authors Dominic Duggan, Constantinos Sourelis

Publication date 1 September 2016

Published in Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/232627.232654

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Mixin' up the ML module system
• Functional and Logic Programming
• scientific article; zbMATH DE number 1696906
• A theory of mixin modules: basic and derived operators
• A theory of mixin modules: algebraic laws and reduction semantics

Cited in

(21)

• Type-based hot swapping of running modules
• scientific article; zbMATH DE number 1696906 (Why is no real title available?)
• scientific article; zbMATH DE number 1728247 (Why is no real title available?)
• Type inference, principal typings, and let-polymorphism for first-class mixin modules
• An algebraic approach to mixins and modularity
• scientific article; zbMATH DE number 2089379 (Why is no real title available?)
• A closer look at export and import statements
• Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
• scientific article; zbMATH DE number 1231620 (Why is no real title available?)
• A theory of mixin modules: basic and derived operators
• A calculus of module systems
• A theory of mixin modules: algebraic laws and reduction semantics
• scientific article; zbMATH DE number 2038713 (Why is no real title available?)
• Mixin composition synthesis based on intersection types
• scientific article; zbMATH DE number 2087534 (Why is no real title available?)
• Mixin' up the ML module system
• Functional and Logic Programming
• Scheme with Classes, Mixins, and Traits
• Trustworthy Global Computing
• Backpack, retrofitting Haskell with interfaces
• Programming Languages and Systems

This page was built for publication: Mixin modules

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