Unboxed objects and polymorphic typing

Abstract : This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with unboxed, multi-word data representations , more efficient than the conventional boxed representations. The transformation introduces coercions between various representations, based on a typing derivation. A prototype ML compiler utilizing this transformation demonstrates important speedups.
Type de document :
Communication dans un congrès
POPL 1992: 19th symposium Principles of Programming Languages, Jan 1992, Albuquerque, United States. ACM, pp.177-188, 1992, 〈10.1145/143165.143205〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01499973
Contributeur : Xavier Leroy <>
Soumis le : samedi 1 avril 2017 - 20:05:35
Dernière modification le : jeudi 26 avril 2018 - 10:28:52
Document(s) archivé(s) le : dimanche 2 juillet 2017 - 12:53:15

Fichier

unboxed-polymorphism.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Xavier Leroy. Unboxed objects and polymorphic typing. POPL 1992: 19th symposium Principles of Programming Languages, Jan 1992, Albuquerque, United States. ACM, pp.177-188, 1992, 〈10.1145/143165.143205〉. 〈hal-01499973〉

Partager

Métriques

Consultations de la notice

148

Téléchargements de fichiers

42