Published 2000 | Version v1
Report Metadata-only

Extraction dans le Cci

Creators

Contributors

Description

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.

Additional details

Identifiers

URL
https://inria.hal.science/inria-00072614
URN
urn:oai:HAL:inria-00072614v1

Origin repository

Origin repository
UNICA