An overview of Types in Compilation

Abstract : A short survey of the uses of types in compilation.
Type de document :
Communication dans un congrès
TIC 1998: workshop Types in Compilation, Mar 1998, Kyoto, Japan. Springer, 1473, pp.1-8, LNCS. 〈10.1007/BFb0055509〉
Liste complète des métadonnées

Littérature citée [41 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01499960
Contributeur : Xavier Leroy <>
Soumis le : vendredi 7 avril 2017 - 16:08:31
Dernière modification le : samedi 8 avril 2017 - 01:07:41
Document(s) archivé(s) le : samedi 8 juillet 2017 - 12:26:17

Fichier

intro-tic98.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Xavier Leroy. An overview of Types in Compilation. TIC 1998: workshop Types in Compilation, Mar 1998, Kyoto, Japan. Springer, 1473, pp.1-8, LNCS. 〈10.1007/BFb0055509〉. 〈hal-01499960〉

Partager

Métriques

Consultations de la notice

270

Téléchargements de fichiers

35