1+1=1 : an optimizing Caml compiler

Projet ICSLA

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/inria-00074372
Author Serrano, Manuel, Weis, Pierre
Maintainer CCSD
Last Updated October 30, 2026, 16:27 (UTC)
Created October 30, 2026, 16:27 (UTC)
Identifier Report N°: RR-2301
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Interprétation, Compilation et Sémantique des Langages Applicatifs (ICSLA) ; INRIA Rocquencourt ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
creator Serrano, Manuel
date 1994-10-30T00:00:00
harvest_object_id 68b57f84-2973-44f9-b76e-391612645857
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-02-26T00:00:00
set_spec type:REPORT