To: seminaire@pauillac.inria.fr From: Didier.Remy@inria.fr Subject: SEM - INRIA : Cristal - 19/12/03 - Paris - FR Vous pouvez maintenant vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/subscribe.html S E M I N A I R E . ___ / _ _ / _ / / / \ / \ / / __| / |___ |_/ |_/ / |__ |_/ |_ ___ . / / ___ __ /_ _ / _/ /| /| _ __ __ _ _ / / / /_ / __| / / |/ | / \ /_ / / \ | / __| |___ / / __/ |_ |_/ |_ / | |_/__/ |_ |_/ |/ |_/ I N R I A - Rocquencourt Amphi 2 du Bat 1. Vendredi 19 decembre, 10h30 ------------- Davide Ancona ------------- ======================================== A Calculus for Symbolic Names Management ======================================== (Joint work with E. Moggi) We define a basic calculus ML^N for manipulating symbolic names inspired by both the nu^Box calculus of Nanevski and Pfenning and the CMS calculus of Ancona and Zucca. The resulting calculus provides a smooth integration of the peculiar features of nu^Box and CMS, namely the use of symbolic names for meta-programming and programming in-the-large, and overcomes several deficiencies of these two calculi. We present two different extensions of the basic calculus, the first consider the interaction between linking and computational effects (in the form of imperative computations), the second shows how CMS can be naturally encoded into MLN. A posteriori the calculus appears related to lambda-calculi with extensible records, and able to model some aspects of the mechanism of Java class loaders. URL:ftp://ftp.disi.unige.it/pub/person/AnconaD/MLN.ps.gz