Representation Analysis for Coercion Placement
Abstract elided by the publisher.
Related papers
- Flexible Representation Analysis ICFP 1997
- Safe zero-cost coercions for Haskell ICFP 2014
- Safe zero-cost coercions for Haskell JFP 2016
- Explicit Data Placement (XDP): A Methodology for Explicit Compile-Time Representation and Optimization PPoPP 1993
- Unboxed Objects and Polymorphic Typing POPL 1992
- Late data layout: unifying data representation transformations OOPSLA 2014
- A role for dependent types in Haskell ICFP 2019
- A Computational Interpretation of Context-Free Expressions APLAS 2017