XML Typechecking

Giuseppe Castagna; Véronique Benzaken; Haruo Hosoya; Benjamin C. Pierce; Stijn Vansummeren

Chapitre D'ouvrage Année : 2009

XML Typechecking

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

1
2
3
4
5

Giuseppe Castagna

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

Preuves, Programmes et Systèmes

Véronique Benzaken

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

Laboratoire de Recherche en Informatique

CV

Haruo Hosoya

Fonction : Auteur

Computer Science Department

Benjamin C. Pierce

Fonction : Auteur

Computer Science Department

Stijn Vansummeren

Fonction : Auteur

CoDE

Domaines

Langage de programmation [cs.PL] Base de données [cs.DB]

Giuseppe Castagna : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00434495

Soumis le : lundi 23 novembre 2009-13:51:46

Dernière modification le : samedi 10 février 2024-03:07:46

Dates et versions

hal-00434495 , version 1 (23-11-2009)

Identifiants

HAL Id : hal-00434495 , version 1

Citer

Giuseppe Castagna, Véronique Benzaken, Haruo Hosoya, Benjamin C. Pierce, Stijn Vansummeren. XML Typechecking. The Encyclopedia of Database Systems, Springer, pp.3646-3650, 2009. ⟨hal-00434495⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 EC-PARIS PPS CNRS UMR8623 UNIV-PARIS-SACLAY

82 Consultations

0 Téléchargements

XML Typechecking

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager