A calculus of module systems
From MaRDI portal
Publication:4331135
Recommendations
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)