Extraction dans le Cci
Résumé
On présente ici une méthode permettant d'extraire de n'importe quel terme du CCI (toutes sortes confondues) un programme Ocaml acceptable par OCAML, et dont l'évaluation est efficace.
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00072614
Soumis le : mercredi 24 mai 2006-10:24:04
Dernière modification le : mercredi 15 mars 2023-08:58:09
Archivage à long terme le : dimanche 4 avril 2010-23:15:25