Skip to Main content Skip to Navigation
Reports

Elimination of redundancy from functions defined by schemes

Didier Caucal 1
1 MICAS - Modèles et implémentation des calculs syntaxiques
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Résumé : Disponible dans les fichiers attachés à ce document
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075131
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 5:31:02 PM
Last modification on : Thursday, January 7, 2021 - 4:27:46 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 9:20:01 PM

Identifiers

  • HAL Id : inria-00075131, version 1

Citation

Didier Caucal. Elimination of redundancy from functions defined by schemes. [Research Report] RR-1429, INRIA. 1991. ⟨inria-00075131⟩

Share

Metrics

Record views

154

Files downloads

69