Skip to Main content Skip to Navigation
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]
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-03089342
Contributor : Beniamino Accattoli <>
Submitted on : Monday, December 28, 2020 - 12:11:22 PM
Last modification on : Tuesday, December 29, 2020 - 3:31:36 AM

Links full text

Identifiers

Collections

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, France. pp.1-15, ⟨10.1145/3414080.3414108⟩. ⟨hal-03089342⟩

Share

Metrics

Record views

13