Abstraction preservation and subtyping in distributed languages (2006)
by
James J. Leifer
| Venue: | In Proc. ICFP |
| Citations: | 8 - 2 self |
Document Versions
| Abstraction preservation and subtyping in distributed languages –James J. Leifer — 2006 — In Proc. ICFP |
