Author:
Jha Somesh,Palsberg Jens,Zhao Tian,Henglein Fritz
Reference34 articles.
1. R. M. Amadio and L. Cardelli: Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575–631, 1993. Also in Proceedings POPL ’91.
2. M.-V. Aponte and R. Di Cosmo: Type isomorphisms for module signatures. In Proceedings of PLILP ’96, 334–346. Springer ( LNCS 1140), 1996.
3. J. Auerbach, C. Barton, and M. Raghavachari: Type isomorphisms with recursive types. Research Report RC 21247, IBM Research Division, T. J. Watson Research Center, Yorktown Heights, NY, August 1998.
4. J. Auerbach and M. C. Chu-Carroll: The mockingbird system: A compiler-based approach to maximally interoperable distributed programming. Research Report RC 20718, IBM Research Division, T. J. Watson Research Center, Yorktown Heights, NY, February 1997.
5. D. J. Barrett, A. Kaplan, and J. C. Wileden: Automated support for seamless interoperability in polylingual software systems. In ACM FSE ’96, Fourth Symposium on the Foundations of Software Engineering, San Francisco, California, October 1996.