ℂDuce User's Manual

Véronique Benzaken; Giuseppe Castagna; Julien Demouth; Alain Frisch; Cédric Miachon; Kim Nguyen; Stefano Zacchiroli

Autre Publication Scientifique Année : 2011

ℂDuce User's Manual

(1) , (2, 3) , (3) , (4) , (1) , (1) , (2)

1
2
3
4

Véronique Benzaken

Fonction : Auteur
PersonId : 7440
IdHAL : veronique-benzaken
ORCID : 0000-0002-1227-3327
IdRef : 032532172

Laboratoire de Recherche en Informatique

CV

Giuseppe Castagna

Fonction : Auteur
PersonId : 8870
IdHAL : castagna
ORCID : 0000-0003-0951-7535
IdRef : 035110600

Preuves, Programmes et Systèmes

Laboratoire d'informatique de l'école normale supérieure

Julien Demouth

Fonction : Auteur

Laboratoire d'informatique de l'école normale supérieure

Alain Frisch

Fonction : Auteur

LexiFi [Boulogne-Billancourt]

Cédric Miachon

Fonction : Auteur

Laboratoire de Recherche en Informatique

Kim Nguyen

Fonction : Auteur
PersonId : 3104
IdHAL : kim-nguyen
ORCID : 0000-0002-1729-870X
IdRef : 127166106

Laboratoire de Recherche en Informatique

CV

Stefano Zacchiroli

Fonction : Auteur
PersonId : 15184
IdHAL : stefano-zacchiroli
ORCID : 0000-0002-4576-136X
IdRef : 176946942

Preuves, Programmes et Systèmes

Domaines

Langage de programmation [cs.PL]

Giuseppe Castagna : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00699615

Soumis le : lundi 21 mai 2012-12:58:26

Dernière modification le : vendredi 19 avril 2024-16:18:55

Dates et versions

hal-00699615 , version 1 (21-05-2012)

Identifiants

HAL Id : hal-00699615 , version 1

Citer

Véronique Benzaken, Giuseppe Castagna, Julien Demouth, Alain Frisch, Cédric Miachon, et al.. ℂDuce User's Manual. 2011. ⟨hal-00699615⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 ENS-PARIS EC-PARIS PPS CNRS INRIA UMR8623 PSL UNIV-PARIS-SACLAY

203 Consultations

0 Téléchargements

ℂDuce User's Manual

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager