Communication Dans Un Congrès Année : 1992

Unboxed objects and polymorphic typing

Résumé

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.

Fichier principal
Vignette du fichier
unboxed-polymorphism.pdf (185.86 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-01499973 , version 1 (01-04-2017)

Licence

Identifiants

Citer

Xavier Leroy. Unboxed objects and polymorphic typing. POPL 1992: 19th symposium Principles of Programming Languages, Jan 1992, Albuquerque, United States. pp.177-188, ⟨10.1145/143165.143205⟩. ⟨hal-01499973⟩
397 Consultations
331 Téléchargements

Altmetric

Partager

  • More