An overview of Types in Compilation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

An overview of Types in Compilation

Xavier Leroy
Typed programming, modularity and compilation

Résumé

A short survey of the uses of types in compilation.

Domaines

Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
intro-tic98.pdf (146.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Xavier Leroy  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01499960

Soumis le : vendredi 7 avril 2017-16:08:31

Dernière modification le : jeudi 3 février 2022-11:18:13

Archivage à long terme le : samedi 8 juillet 2017-12:26:17

Télécharger pour visualiser

Dates et versions

hal-01499960 , version 1 (07-04-2017)

Identifiants

Citer

Xavier Leroy. An overview of Types in Compilation. TIC 1998: workshop Types in Compilation, Mar 1998, Kyoto, Japan. pp.1-8, ⟨10.1007/BFb0055509⟩. ⟨hal-01499960⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
171 Consultations
110 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More