Parametric Polymorphism and Operational Equivalence (2000)

Cached

Download Links

by Andrew M. Pitts
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:74 - 2 self