Torben Amtoft, Henning Makholm, and Joe B. Wells. PolyA: True Type Polymorphism for Mobile Ambients. In TCS'04, 2004. to appear. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) Self-citation (Amtoft Makholm Wells) (Correct)
No context found.
T. Amtoft, H. Makholm, J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. Technical Report HW-MACS-TR-0015, Heriot-Watt Univ., School of Math. & Comput. Sci., 2004.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2003) (7 citations) Self-citation (Amtoft Makholm Wells) (Correct)
No context found.
T. Amtoft, H. Makholm, J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. Technical Report HW-MACS-TR-0015, Heriot-Watt Univ., School of Math. & Comput. Sci., 2004.
PolyA: True Type Polymorphism for Mobile Ambients - Amtoft, Makholm, Wells (2004) (7 citations) Self-citation (Amtoft Makholm Wells) (Correct)
No context found.
Amtoft, T., Makholm, H., and Wells, J. B. (2004). PolyA: True type polymorphism for Mobile Ambients. In Theoretical Computer Science: 3rd IFIP Int'l Conf. Kluwer Academic Publishers.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2005) (2 citations) Self-citation (Makholm Wells) (Correct)
No context found.
T. Amtoft, H. Makholm, J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. Technical Report HWMACS -TR-0015, Heriot-Watt Univ., School of Math. & Comput. Sci., 2004. A shorter successor is [2].
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2005) (2 citations) Self-citation (Makholm Wells) (Correct)
No context found.
T. Amtoft, H. Makholm, J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. In IFIP TC1 3rd Int'l Conf. Theoret. Comput. Sci. (TCS '04). Kluwer Academic Publishers, 2004. A more detailed predecessor is [3].
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) Self-citation (Makholm Wells) (Correct)
No context found.
T. Amtoft, H. Makholm, J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. Technical Report HW-MACS-TR-0015, Heriot-Watt Univ., School of Math. & Comput. Sci., 2004.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) Self-citation (Makholm Wells) (Correct)
No context found.
T. Amtoft, H. Makholm, J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. In J.-J. Levy, E. W. Mayr, J. C. Mitchell, eds., Exploring New Frontiers of Theoret. Informatics: IFIP 18th World Comput. Congress -- TC1 3rd Int'l Conf. Theoret. Comput. Sci. (TCS '04). Kluwer Academic Publishers, 2004.
Instant Polymorphic Type Systems for Mobile Process Calculi.. - Makholm, Wells (2004) (2 citations) Self-citation (Makholm Wells) (Correct)
No context found.
T. Amtoft, H. Makholm, J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. In IFIP TC1 3rd Int'l Conf. Theoret. Comput. Sci. (TCS '04). Kluwer Academic Publishers, 2004.
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (1 citation) (Correct)
No context found.
Torben Amtoft, Henning Makholm, and Joe B. Wells. PolyA: True Type Polymorphism for Mobile Ambients. In TCS'04, 2004. to appear.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Torben Amtoft, Henning Makholm, and J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. Unpublished draft. Supersedes [AW02], October 2003.
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Torben Amtoft, Henning Makholm, and J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. In Levy et al. [LMM04], pages 591--604. A more detailed predecessor is [AMW04a].
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Torben Amtoft, Henning Makholm, and J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. Technical Report HW-MACS-TR-0015, Heriot-Watt Univ., School of Math. & Comput. Sci., February 2004. A shorter successor is
Unknown - Ist- Dynamic Assembly (Correct)
No context found.
Torben Amtoft, Henning Makholm, and J. B. Wells. PolyA: True type polymorphism for Mobile Ambients. Unpublished draft. Supersedes [AW02], October 2003.
Sequence Types for the π-calculus - Maffeis (2004) (Correct)
No context found.
Amtoft, T., H. Makholm and J. Wells, Polya: True type polymorphism for mobile ambients, Technical Report HW-MACS-TR-0015 School of Mathematical and Computer Sciences Heriot-Watt University. To appear in the Proceedings of IFIP-TCS'04. (2004).
Boxed Ambients with Communication Interfaces - Bonelli, Compagnoni.. (2004) (1 citation) (Correct)
No context found.
Torben Amtoft, Henning Makholm, and Joe B. Wells. PolyA: True Type Polymorphism for Mobile Ambients. In TCS'04, 2004. to appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC