A calculus of module systems

DOI10.1017/S0956796801004257MaRDI QIDQ4331135zbMATH OpenFDO

Authors Davide Ancona, Elena Zucca

Publication date 14 May 2002

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796801004257

zbMATH Keywords

calculus of modules

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1538035
• Mixin' up the ML module system
• Mixin modules
• A calculus of open modules: call-by-need strategy and confluence
• scientific article; zbMATH DE number 2163036

Cited in

(15)

• Computational soundness of a call by name calculus of recursively-scoped records
• Type safe incremental rebinding
• A Framework for Type Safe Exchange of Mobile Code
• Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
• scientific article; zbMATH DE number 1231664 (Why is no real title available?)
• scientific article; zbMATH DE number 1538030 (Why is no real title available?)
• scientific article; zbMATH DE number 1538035 (Why is no real title available?)
• Constrained polymorphic types for a calculus with name variables
• Propagators and Solvers for the Algebra of Modular Systems
• An abstract monadic semantics for value recursion
• scientific article; zbMATH DE number 2163036 (Why is no real title available?)
• scientific article; zbMATH DE number 2087534 (Why is no real title available?)
• A calculus of open modules: call-by-need strategy and confluence
• Incremental rebinding with name polymorphism
• A flexible model for dynamic linking in Java and C\#

This page was built for publication: A calculus of module systems

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