Sciweavers

POPL
1992
ACM

Unboxed Objects and Polymorphic Typing

14 years 2 months ago
Unboxed Objects and Polymorphic Typing
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.
Xavier Leroy
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where POPL
Authors Xavier Leroy
Comments (0)