Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Xavier Leroy (1992) studied this question.