Abstraction preservation and subtyping in distributed languages (2006)

Cached

Download Links

by James J. Leifer
Venue:In Proc. ICFP
Citations:10 - 3 self