8 papers:
CC-2012-PetersenG #garbage collection #interprocedural- GC-Safe Interprocedural Unboxing (LP, NG), pp. 165–184.
KDIR-2009-WohrerZDB #composition #data mining #metaprogramming #mining #optimisation #towards- Unboxing Data Mining Via Decomposition in Operators — Towards Macro Optimization and Distribution (AW, YZ, EuHD, PB), pp. 243–248.
IFL-2002-LindahlS #compilation #float- Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment (TL, KFS), pp. 134–149.
ICFP-1998-MinamideG #complexity #on the #runtime- On the Runtime Complexity of Type-Directed Unboxing (YM, JG), pp. 1–12.
ESOP-1996-LaunchburyP #parametricity- Parametricity and Unboxing with Unpointed Types (JL, RP), pp. 204–218.
FPCA-1995-Thiemann #polymorphism #revisited #type system- Unboxed Values and Polymorphic Typing Revisited (PT), pp. 24–35.
POPL-1992-Leroy #polymorphism #type system- Unboxed Objects and Polymorphic Typing (XL), pp. 177–188.
- FPCA-1991-JonesL #functional #strict
- Unboxed Values as First Class Citizens in a Non-Strict Functional Language (SLPJ, JL), pp. 636–666.
