Xavier Leroy. Unboxed objects and polymorphic typing. In POPL 1992: 19th symposium Principles of Programming Languages, pages 177--188. ACM, 1992.

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.

bib | DOI | Local copy | At publisher's site ] Back

This file was generated by bibtex2html 1.99.