Mixin modules

DOI10.1145/232627.232654zbMATH Open1345.68047OpenAlexW2295135584MaRDI QIDQ2817705FDOQ2817705

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

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

Mathematics Subject Classification ID

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

Cited In (20)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming Languages and Systems
• Trustworthy Global Computing
• Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Type inference, principal typings, and let-polymorphism for first-class mixin modules
• A theory of mixin modules: algebraic laws and reduction semantics
• Scheme with Classes, Mixins, and Traits
• Type-based hot swapping of running modules
• An algebraic approach to mixins and modularity
• Mixin composition synthesis based on intersection types
• A closer look at export and import statements
• Mixin' up the ML module system
• Functional and Logic Programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Backpack, retrofitting Haskell with interfaces
• A calculus of module 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)