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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.inria.fr/hal-01499973
Contributor : Xavier Leroy <>
Submitted on : Saturday, April 1, 2017 - 8:05:35 PM
Last modification on : Thursday, April 26, 2018 - 10:28:52 AM
Long-term archiving on : Sunday, July 2, 2017 - 12:53:15 PM

File

unboxed-polymorphism.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

217

Files downloads

121