Abstraction preservation and subtyping in distributed languages (2006)

Cached

Download Links

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

Document Versions

Abstraction preservation and subtyping in distributed languages –James J. Leifer — 2006 — In Proc. ICFP