The following pages link to A calculus of module systems (Q4331135):
Displaying 10 items.
- Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages (Q418193) (← links)
- Incremental rebinding with name polymorphism (Q737082) (← links)
- A flexible model for dynamic linking in Java and C\# (Q859837) (← links)
- Computational soundness of a call by name calculus of recursively-scoped records (Q2873682) (← links)
- Type safe incremental rebinding (Q2971056) (← links)
- A Framework for Type Safe Exchange of Mobile Code (Q3608465) (← links)
- (Q4222990) (← links)
- (Q4580225) (← links)
- Propagators and Solvers for the Algebra of Modular Systems (Q4645738) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)