A Simple Proof Technique for Certain Parametricity Results (1998)

View PDF

Download Links

by Karl Crary
Venue:In 4th ACM International Conference on Functional Programming
Citations:13 - 2 self