Translating Dependency into Parametricity

Cached

Download Links

by Stephen Tse , Steve Zdancewic
Venue:In: ACM International Conference on Functional Programming
Citations:33 - 3 self