Extraction dans le Cci
Abstract
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.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00072614
Submitted on : Wednesday, May 24, 2006-10:24:04 AM
Last modification on : Wednesday, March 15, 2023-8:58:09 AM
Long-term archiving on: Sunday, April 4, 2010-11:15:25 PM