Abstraction preservation and subtyping in distributed languages

Pierre-Malo DeniƩlou, James J. Leifer. Abstraction preservation and subtyping in distributed languages. In John H. Reppy, Julia L. Lawall, editors, Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006. pages 286-297, ACM, 2006. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.