Region analysis and the polymorphic lambda calculus (1999)

by Anindya Banerjee, Nevin Heintze, Jon G Riecke
Venue:In Proc. of the 14th Annual IEEE symposium on Logic in Computer Science