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