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.

• Type: Conference
• Year: 2004
• Where: GPCE
• Authors: Davide Ancona, Eugenio Moggi
• Keywords: Basic Calculus, Calculus, GPCE 2004, Zucca’s Calculus