To: seminaire@pauillac.inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Cristal - 16/03/01 - 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
Salle de conference du Bat 11
Vendredi 16 mars, 10h30
-------------
Luigi Liquori
-------------
Loria
===================================================================
The Rho-calculus (revisited): its syntax, semantics, and pragmatics
===================================================================
We will present a simple and uniform presentation of the rewriting
calculus, also called ``Rho Calculus'' (RhoCal). The RhoCal is a simple
calculus that uniformly integrates abstraction on patterns and
non-determinism. Therefore, it fully integrates rewriting and
lambda-calculus.
In addition to its simplicity, this formulation explicitly allows us to
encode complex structures such as lists, sets, and objects. We provide
extensive examples of the calculus, and we focus on its ability to
represent some object oriented calculi, namely the ``Lambda Calculus of
Objects'' of Fisher, Honsell, and Mitchell, and the ``Object Calculus''
of Abadi and Cardelli.
We also present a uniform way to decorate the terms of the calculus with
types. This gives raise to a new presentation ```a la Church'', together
with nine (8+1) type systems which can be placed in a Rho-cube that
extends the Lambda-cube of Barendregt.
(joint work with Horatiu Cirstea and Claude Kirchner, LORIA)
As an appendix, we present the Miro' team, and its main activities.