A calculus of module systems
From MaRDI portal
Publication:4331135
DOI10.1017/S0956796801004257zbMath0994.68033MaRDI QIDQ4331135
Publication date: 14 May 2002
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items (8)
A flexible model for dynamic linking in Java and C\# ⋮ Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages ⋮ Type safe incremental rebinding ⋮ An abstract monadic semantics for value recursion ⋮ A Framework for Type Safe Exchange of Mobile Code ⋮ Incremental rebinding with name polymorphism ⋮ Unnamed Item ⋮ Computational Soundness of a Call by Name Calculus of Recursively-scoped Records
This page was built for publication: A calculus of module systems