Parametricity and Local Variables (1995)

Cached

Download Links

by P. W. O'hearn , R. D. Tennent
Citations:102 - 6 self