Coeffects for Sharing and Mutation

Autor: Riccardo Bianchini, Francesco Dagnino, Paola Giannini, Elena Zucca, Marco Servetto

In type-and-coeffect systems , contexts are enriched by coeffects modeling how they are actually used, typically through annotations on single variables. Coeffects are computed bottom-up, combining, for each term, the coeffects of its subterms, throu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d04008904332c07f1e3ad302c94debd
http://arxiv.org/abs/2209.07439

Asynchronous Global Types in Co-logic Programming

Autor: Francesco Dagnino, Riccardo Bianchini

Publikováno v: Lecture Notes in Computer Science
23th International Conference on Coordination Languages and Models (COORDINATION)
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.134-146, ⟨10.1007/978-3-030-78142-2_9⟩
Lecture Notes in Computer Science ISBN: 9783030781415
COORDINATION

Part 2: Communications: Types and Implemenations; International audience; Global types are at the core of communication based programming. They allow a high level specification of protocols involving many participants and enforce good safety and live

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5326dec0c197caf6eb04f5d31bb9391b
https://hal.inria.fr/hal-03387826/document