What Do Autoboxing, Value Classes and Specialization Have in Common?

A theory that unifies autoboxing, value classes, specialization and staging in a single transformation mechanism, with implementations including miniboxing specialization and multi-parameter value classes.