Region Analysis and the Polymorphic Lambda Calculus.

Anindya Banerjee, Nevin Heintze, Jon G. Riecke

Browse the full LICS paper archive.