Yasuhiko Minamide Jacques Garrigue On the Runtime Complexity of Type-Directed Unboxing. 1-12 1998 ICFP http://doi.acm.org/10.1145/289423.289424 db/conf/icfp/icfp98.html#MinamideG98