Parametricity and Unboxing with Unpointed Types
Abstract elided by the publisher.
Related papers
- Unboxed Objects and Polymorphic Typing POPL 1992
- Call-by-Unboxed-Value ICFP 2024
- On the Runtime Complexity of Type-Directed Unboxing ICFP 1998
- Unboxed Data Constructors: Or, How cpp Decides a Halting Problem POPL 2024
- Formally Optimal Boxing POPL 1994
- GC-Safe Interprocedural Unboxing CC 2012
- Bridging the Gulf: A Common Intermediate Language for ML and Haskell POPL 1998
- Flexible Representation Analysis ICFP 1997