A Fresh Calculus for Name Management

13 years 5 months ago
A Fresh Calculus for Name Management
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (as in FreshML), computational types (to allow computational effects, including generation of fresh names). The calculus supports the use of symbolic names for programming in-the-large, e.g. it subsumes Ancona and Zucca’s calculus for module systems, and for meta-programming (but not the intensional analysis of object level terms supported by FreshML), e.g. it subsumes (and improves) Nanevski and Pfenning’s calculus for meta-programming with names and necessity. Moreover, it models some aspects of Java’s class loaders.
Davide Ancona, Eugenio Moggi
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where GPCE
Authors Davide Ancona, Eugenio Moggi
Comments (0)