Mixin' up the ML module system

DOI10.1145/1411204.1411248MaRDI QIDQ5178771zbMATH OpenOpenAlexFDO

Authors Derek Dreyer, Andreas Rossberg

Publication date 16 March 2015

Published in Proceedings of the 13th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

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

zbMATH Keywords

abstract data typeshierarchical composabilitymixin modulesML modulesrecursive modulestype systems

Mathematics Subject Classification ID

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

Recommendations

• Mixin modules
• Functional and Logic Programming
• MIX(FL): A kernel language of mixin modules
• scientific article; zbMATH DE number 2087534
• A theory of mixin modules: basic and derived operators

Cited in

(17)

• Path resolution for nested recursive modules
• MIX(FL): A kernel language of mixin modules
• True modules for Java-like languages
• Mixin modules
• Static interpretation of modules
• Type inference, principal typings, and let-polymorphism for first-class mixin modules
• scientific article; zbMATH DE number 2089379 (Why is no real title available?)
• The essence of dependent object types
• 1ML with special effects. F-ing generativity polymorphism
• MixML
• A calculus of module systems
• 1ML -- core and modules united
• scientific article; zbMATH DE number 2087534 (Why is no real title available?)
• Functional and Logic Programming
• Backpack, retrofitting Haskell with interfaces
• Programming Languages and Systems
• Recursive modules for programming

This page was built for publication: Mixin' up the ML module system

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