| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
The Machinery of Interaction
Beniamino Accattoli
1
Ugo Dal Lago
2, 3
Gabriele Vanoni
2, 3
1
PARTOUT - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
3
FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Beniamino Accattoli 1
Author IdHAL : beniamino-accattoli ORCID : https://orcid.org/0000-0003-4944-9944
Ugo Dal Lago 2, 3
Author
Gabriele Vanoni 2, 3
Author
1
PARTOUT - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion (1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau - France)
- LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau] (Route de Saclay 91128 PALAISEAU CEDEX - France)
- X - École polytechnique (École polytechnique, 91128 Palaiseau Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7161 (France)
- Inria Saclay - Ile de France (1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
Campus de l'École Polytechnique
91120 Palaiseau - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
2
University of Bologna (Via Zamboni, 33 - 40126 Bologna - Italy)
3
FOCUS - Foundations of Component-based Ubiquitous Systems (Dipartimento di Informatica - Scienza e Ingegneria (DISI)
Universita' di Bologna
Mura Anteo Zamboni, 7
40126 Bologna
ITALY - Italy)
- CRISAM - Inria Sophia Antipolis - Méditerranée (2004 route des Lucioles BP 93 06902 Sophia Antipolis - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (http://www.informatica.unibo.it/it - Italy)
- UNIBO - Alma Mater Studiorum Università di Bologna [Bologna] (Via Zamboni, 33 - 40126 Bologna - Italy)
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-03089342
Contributor : Beniamino Accattoli Connect in order to contact the contributor
Submitted on : Monday, December 28, 2020 - 12:11:22 PM
Last modification on : Saturday, May 1, 2021 - 3:39:55 AM
Contributor : Beniamino Accattoli Connect in order to contact the contributor
Submitted on : Monday, December 28, 2020 - 12:11:22 PM
Last modification on : Saturday, May 1, 2021 - 3:39:55 AM
Links full text
Identifiers
- HAL Id : hal-03089342, version 1
- DOI : 10.1145/3414080.3414108
Collections
LIX | X-LIX | X | UNIV-COTEDAZUR | X-DEP-INFO | CNRS | IP_PARIS | INRIA | GS-COMPUTER-SCIENCE
Citation
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni. The Machinery of Interaction. PPDP '20 - 22nd International Symposium on Principles and Practice of Declarative Programming, Sep 2020, Bologna, Italy. pp.1-15, ⟨10.1145/3414080.3414108⟩. ⟨hal-03089342⟩
Metrics
Les métriques sont temporairement indisponibles