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)

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)

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

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)