| No. |
Title |
Author |
Year |
| 1 |
Modular Compilation for Higher-Order Functional Choreographies |
Cruz-Filipe, Luís et al. |
2023 |
| 2 |
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols |
Cruz-Filipe, Luís et al. |
2023 |
| 3 |
Formalising a Turing-Complete Choreographic Language in Coq |
Cruz-Filipe, Luís et al. |
2021 |
| 4 |
Multiparty Languages: The Choreographic and Multitier Cases (Pearl) |
Giallorenzo, Saverio et al. |
2021 |
| 5 |
Front Matter, Table of Contents, Preface, Conference Organization |
Cruz-Filipe, Luís et al. |
2020 |
| 6 |
OASIcs, Volume 78, Microservices 2017/2019, Complete Volume |
Cruz-Filipe, Luís et al. |
2020 |
| 7 |
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service |
Giallorenzo, Saverio et al. |
2020 |
| 8 |
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types |
Carbone, Marco et al. |
2016 |
| 9 |
Multiparty Session Types as Coherence Proofs |
Carbone, Marco et al. |
2015 |
