A usage analysis with bounded usage polymorphism and subtyping (2000)

by Jörgen Gustavsson, Josef Sveningsson
Venue:In Implementation of Functional Languages (IFL’00