Unboxed objects and polymorphic typing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1992

Unboxed objects and polymorphic typing

Xavier Leroy


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
Origin Files produced by the author(s)

Dates and versions

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



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⟩
148 View
169 Download



Gmail Mastodon Facebook X LinkedIn More