On the Runtime Complexity of Type-Directed Unboxing.

Yasuhiko Minamide, Jacques Garrigue

Browse the full ICFP paper archive.