Name Groups and Group Creation: Semantics and Applications
- Luca Cardelli ,
- Silvano Dal Zilio ,
- Giorgio Ghelli ,
- Andrew D. Gordon ,
- Andy Gordon
Just as the new-name construct of the p-calculus models dynamic generation of values, a new-group construct models dynamic generation of types, as in, for instance, Tofte and Talpin’s region-based memory management.