Laurent Dami, Type Inference and Subtyping for Higher-Order Generative Communication, in this volume. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Coordinating Agents with Secure Spaces - Vitek, Bryce, Oriol (1999) (2 citations) (Correct)
A Coordination Model for Agents based on Secure Spaces - Bryce, Oriol, Vitek (1999) (10 citations) (Correct)
Secure Object Spaces - A coordination model for Agents - Bryce, Oriol, Vitek (1999) (3 citations) (Correct)
Applications and Research Directions of the Object Systems Group - Konstantas (Correct)
Functional Programming with Dynamic Binding - Dami (1996) (3 citations) Self-citation (Dami) (Correct)
A Lambda-Calculus for Dynamic Binding - Dami (1997) (19 citations) Self-citation (Dami) (Correct)
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