A calculus of module systems

DOI10.1017/S0956796801004257zbMATH Open0994.68033MaRDI QIDQ4331135FDOQ4331135

Authors: Davide Ancona, Elena Zucca 

Publication date: 14 May 2002

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

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

zbMATH Keywords

calculus of modules

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (15)

• A Framework for Type Safe Exchange of Mobile Code
• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of open modules: call-by-need strategy and confluence
• Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Type safe incremental rebinding
• An abstract monadic semantics for value recursion
• Computational soundness of a call by name calculus of recursively-scoped records
• Title not available (Why is that?)

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)