Type Inference and Subtyping for Higher-Order Generative Communication (0)
by
Laurent Dami
,
Laurent Dami
| Venue: | in Coordination Programming: Mechanisms, Models, Semantics |
| Citations: | 9 - 3 self |
BibTeX
@INPROCEEDINGS{Dami_typeinference,
author = {Laurent Dami and Laurent Dami},
title = {Type Inference and Subtyping for Higher-Order Generative Communication},
booktitle = {in Coordination Programming: Mechanisms, Models, Semantics},
year = {},
pages = {173--204},
publisher = {Imperial College Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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
