The Coq mailing list

["Marc Daumas" <Marc.Daumas AT ENS-Lyon.Fr>]

> > Bonjour, je recherche le rapport de stage de DEA de Patrick 
> Loiseleur.
> > Le lien vers http://www.lri.fr/~loisel/rapport-stage-dea.ps.gz ;
> > <http://www.lri.fr/%7Eloisel/rapport-stage-dea.ps.gz> n'est 
> plus valide.
...
> On peut le trouver ici: 
> http://www.loiseleur.com/patrick/rapport-stage-dea.ps.gz

Bonjour,

Votre question m'incite à croire que vous pourriez être intéressé par notre
travail commencé dans l'ARC AOC de l'INRIA, principalement avec Laurent
Théry, et continué ensuite pendant les thèses de Sylvie Boldo et de
Guillaume Melquiond.

Un bon point de départ peut être la page du projet PFF et ses nombreux
liens.

http://lipforge.ens-lyon.fr/www/pff/

Sincèrement,

--
Marc Daumas (CNRS-LIP) - http://perso.ens-lyon.fr/marc.daumas
mailto:Marc.Daumas AT ENS-Lyon.Fr
 (suspect emails are not viewed)
PGP Key FP : 86C8 3DB3 7118 517A AA13  5707 D617 13D6 7510 D750
ENS de Lyon - 46, allee d'Italie - 69364 Lyon Cedex 07 - FRANCE
Phone: (+33) 4 72 72 85 83 - Fax: (+33) 4 72 72 80 80