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
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!)