Outline of a Proof Theory of Parametricity (1991)

Cached

Download Links

by Harry G. Mairson
Venue:Proc. 5th International Symposium on Functional Programming Languages and Computer Architecture
Citations:25 - 2 self