MIRÓ:

Objects, Types, and Prototypes:

Semantics and Validation

This page collects all the documents and presentations concerning the INRIA Action MIRO (2001-2003).

MANIFESTO'S EVOLUTION

Manifesto V1.0, January 2001 GET-IT!
Manifesto V1.1, Juin 2001 GET-IT!
Manifesto V1.2, October 2001 GET-IT!

Manifesto V1.3, July 2002, GET-IT!

REFEREE REPORTS

INRIA Commission Evaluation (Pierre Cointe, EMN and Xavier Leroy, INRIA) Positive!
Patrick Baudelaire (Thomson Multimedia, Rennes, FRANCE) Positive!
Martin Abadi (UCSB, USA) Positive!
Martin Odersky (EPFL, SWITZERLAND) Positive!
Benjamin C. Pierce (UPENN, USA) Positive!

INRIA ACTIVITY REPORTS

2001 INRIA ACTIVITY REPORT GET-IT!
2002 INRIA ACTIVITY REPORT GET-IT!
2003 INRIA ACTIVITY REPORT GET-IT!

ACTUAL RELATED/HOT PROJECTS RELATED

ARC CONCERT: Compilateurs Certifies GO!
Xavier Leroy works on Certified Compilers (POPL 06, GO!) and Mechanized Semantics GO!
POPL Mark challenge at UPENN GO!
Mechanized Metatheory in Standard ML at CMU (POPL 07) GO!
Tony Hoare challenge of Veryfing Compiler (Paper GET-IT! ) (Talk GET-IT!)