MODULOGIC

Présentation du projet.

Equipes partenaires

• Groupe FOC - LIP6, CEDRIC, INRIA-Rocquencourt
• Projet PROTHEO - LORIA et INRIA-Lorraine
• Action MIRÓ - INRIA-Sophia-Antipolis
• Projet LOGICAL - INRIA-Futurs et LIX

Documents

• MODULOGIC, présentation générale (slides, french) [PDF]
• Rho-calculus home page (web page)
• Pure Pattern Type Systems (slides) [PDF]
• An Imperative Rho (slides) [PDF]
• Rewriting Calculus with(out) Types (slides) [PDF]
• Rapport à mi-parcours [PDF]
• Rapport final [PDF]

Logiciels

• iRho, interprete fonctionnel et imperatif du Rewriting Calculus
• The Focal system.

Calendrier des réunions

• 2 septembre 2003: transparents
• 29 janvier 2004: transparents
• 18 mars 2004: transparents
• 14 mai 2004: compte-rendu (PS)
• 10 janvier 2006 exposé de Laïka Moussa (PDF)
• 7 juin 2006: transparents

Groupes de travail

• 14-17 juin 2005: compte-rendu
• 2-6 octobre 2005: compte-rendu