Unboxed objects and polymorphic typing
X Leroy - Proceedings of the 19th ACM SIGPLAN-SIGACT …, 1992 - dl.acm.org
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992•dl.acm.org
This paper presents a program transformation that allows languages with polymorphic
typing (eg ML) to be implemented with unboxed, multi-word data representations. The
transformation introduces coercions between various representations, based on a typing
derivation. A prototype ML compiler utilizing this transformation demonstrates important
speedups.
typing (eg ML) to be implemented with unboxed, multi-word data representations. The
transformation introduces coercions between various representations, based on a typing
derivation. A prototype ML compiler utilizing this transformation demonstrates important
speedups.
This paper presents a program transformation that allows languages with polymorphic typing (e.g. ML) to be implemented with unboxed, multi-word data representations. The transformation introduces coercions between various representations, based on a typing derivation. A prototype ML compiler utilizing this transformation demonstrates important speedups.