Book chapter
Open access

Type Inference and Subtyping for Higher-Order Generative Communication

ContributorsDami, Laurent
Published inObject applications = Applications des objets, Editors Tsichritzis, Dionysios, p. 173-204
PublisherGenève : Centre Universitaire d'Informatique
Publication date1996-07

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.

Citation (ISO format)
DAMI, Laurent. Type Inference and Subtyping for Higher-Order Generative Communication. In: Object applications = Applications des objets. Genève : Centre Universitaire d’Informatique, 1996. p. 173–204.
Main files (1)
Book chapter (Published version)
  • PID : unige:156425

Technical informations

Creation11/16/2021 12:42:00 PM
First validation11/16/2021 12:42:00 PM
Update time03/16/2023 1:49:33 AM
Status update03/16/2023 1:49:32 AM
Last indexation02/12/2024 12:15:09 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack