Logo
LogoUniGeSES

ASG list of publications

Citation

Laurent Dami, "Type Inference and Subtyping for Higher-Order Generative Communication", in Coordination Programming: Mechanisms, Models and Semantics, pp. 98-138, London, , , 1996

Abstract

Models for generative communication use a common space, where concurrent agents put or retrieve data; data extraction is controlled by various kinds of filtering techniques, usually based on the structure of the data itself. However, for higher-order communication, i.e. when the data consists of software fragments, such techniques are not appropriate: structural information does not reflect the behaviour of a software fragment. This paper studies a filtering mechanism based instead on type information, so that software components can be retrieved according to type specifications. A rich type system with polymorphism and subtyping gives enough flexibility to formulate type specifications at various levels of detail.

Bibtex

@inbook{Dami96c,
Author = "Laurent Dami",
Title = "Type Inference and Subtyping for Higher-Order Generative Communication",
Booktitle = "Coordination Programming: Mechanisms, Models and Semantics",
Chapter = "",
Volume = "",
Publisher = "Imperial College Press",
Edition = "J.-M. Andreoli, C. Hankin and D. Le M'etayer",
Series = "",
ISBN = "",
Address = "London",
Key = "lambda-calculus, tuple space, linda, coordination",
Notes = "",
Month = "",
Year = "1996"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.