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
• scientific article; zbMATH DE number 1696906
• scientific article; zbMATH DE number 2087534
• A theory of mixin modules: basic and derived operators

Cited in

(17)

• Path resolution for nested recursive 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?)
• 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)