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
Citations:28 - 0 self