A Calculus for Boxing Analysis of Polymorphically Typed Languages (1995)

by Jesper Jrgensen