Dale Miller Chercheur, Inria Contact information Email dale lix.polytechnique.fr Web page http://www.lix.polytechnique.fr/Labo/Dale.Miller