A Behavioral Module System for the Pi-Calculus
Abstract elided by the publisher.
Related papers
- A calculus of module systems JFP 2002
- MC2 A module calculus for Pure Type Systems JFP 2007
- Modules, abstraction, and parametric polymorphism POPL 2017
- Emergent gummy modules: modular representation of emergent behavior GPCE 2014
- Transparent Modules with Fully Syntactic Signatures ICFP 1999
- Mixin modules in a call-by-value setting TOPLAS 2005
- A type system for recursive modules ICFP 2007
- Higher-Order Modules and the Phase Distinction POPL 1990