To: seminaire@pauillac.inria.fr From: Didier.Remy@inria.fr Subject: SEM - INRIA : Cristal - 22/06/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 22 juin, 10h30 ------------- Gérard Boudol ------------- INRIA-Sophia ============================= Sur le typage de la récursion ============================= La représentation des objets comme enregistrements récursifs dans un langage en appel par valeur requiert l'utilisation d'un combinateur de point fixe qui peut introduire des erreurs à l'exécution. Nous présentons un typage de la récursion qui offre les avantages du typage à la ML, à savoir: typage implicite avec reconstruction d'un type principal, et garantie qu'un programme typable ne produira pas d'erreur à l'exécution. Nous illustrons le pouvoir expressif du calcul obtenu en définissant un sous-calcul de "mixins", et en donnant quelques exemples exprimés dans ce langage.