Media Summary: A Propositional Dynamic Logic for Choreographies (Video, CP 2024) Matteo Acclavio, Fabrizio Montesi, and Marco Peressotti ... Klor: Choreographies for the Working Clojurian (Video, CP 2024) Lovro Lugović, and Sung-Shik Jongmans (University of ... Choreographies meet Communication Failures (Video, CP 2024) Eva Graversen, Fabrizio Montesi, and Marco Peressotti ...

Cp24 Choreographic Programming In Modal - Detailed Analysis & Overview

A Propositional Dynamic Logic for Choreographies (Video, CP 2024) Matteo Acclavio, Fabrizio Montesi, and Marco Peressotti ... Klor: Choreographies for the Working Clojurian (Video, CP 2024) Lovro Lugović, and Sung-Shik Jongmans (University of ... Choreographies meet Communication Failures (Video, CP 2024) Eva Graversen, Fabrizio Montesi, and Marco Peressotti ... Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger. ECOOP 2021. Alice or Bob?: Process polymorphism in choreographies (Video, ICFP 2024) Eva Graversen, Andrew K. Hirsch, and Fabrizio ... This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check

Photo Gallery

[CP24] Choreographic Programming in Modal Type Theory
[CP24] Corps: A Core Calculus of Hierarchical Choreographic Programming
[CP24] Choreographic Programming: its essence, beauty, and necessity
[CP24] Toward Verified Library-Level Choreographic Programming with Algebraic Effects
[CP24] A Propositional Dynamic Logic for Choreographies
[CP24] Klor: Choreographies for the Working Clojurian
[CP24] Choreographies meet Communication Failures
[PLDI24] [TOPLAS] Choral: Object-Oriented Choreographic Programming
[ICFP'23] HasChor: Functional Choreographic Programming for All (Functional Pearl)
[ICFP'25] Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)
Multiparty Languages: The Choreographic and Multitier Cases
[ICFP24] Alice or Bob?: Process polymorphism in choreographies
View Detailed Profile
[CP24] Choreographic Programming in Modal Type Theory

[CP24] Choreographic Programming in Modal Type Theory

Choreographic Programming in Modal

[CP24] Corps: A Core Calculus of Hierarchical Choreographic Programming

[CP24] Corps: A Core Calculus of Hierarchical Choreographic Programming

Corps: A Core Calculus of Hierarchical

[CP24] Choreographic Programming: its essence, beauty, and necessity

[CP24] Choreographic Programming: its essence, beauty, and necessity

Choreographic Programming

[CP24] Toward Verified Library-Level Choreographic Programming with Algebraic Effects

[CP24] Toward Verified Library-Level Choreographic Programming with Algebraic Effects

Toward Verified Library-Level

[CP24] A Propositional Dynamic Logic for Choreographies

[CP24] A Propositional Dynamic Logic for Choreographies

A Propositional Dynamic Logic for Choreographies (Video, CP 2024) Matteo Acclavio, Fabrizio Montesi, and Marco Peressotti ...

[CP24] Klor: Choreographies for the Working Clojurian

[CP24] Klor: Choreographies for the Working Clojurian

Klor: Choreographies for the Working Clojurian (Video, CP 2024) Lovro Lugović, and Sung-Shik Jongmans (University of ...

[CP24] Choreographies meet Communication Failures

[CP24] Choreographies meet Communication Failures

Choreographies meet Communication Failures (Video, CP 2024) Eva Graversen, Fabrizio Montesi, and Marco Peressotti ...

[PLDI24] [TOPLAS] Choral: Object-Oriented Choreographic Programming

[PLDI24] [TOPLAS] Choral: Object-Oriented Choreographic Programming

[TOPLAS] Choral: Object-Oriented

[ICFP'23] HasChor: Functional Choreographic Programming for All (Functional Pearl)

[ICFP'23] HasChor: Functional Choreographic Programming for All (Functional Pearl)

HasChor: Functional

[ICFP'25] Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)

[ICFP'25] Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)

Relax! The Semilenient Core of

Multiparty Languages: The Choreographic and Multitier Cases

Multiparty Languages: The Choreographic and Multitier Cases

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger. ECOOP 2021.

[ICFP24] Alice or Bob?: Process polymorphism in choreographies

[ICFP24] Alice or Bob?: Process polymorphism in choreographies

Alice or Bob?: Process polymorphism in choreographies (Video, ICFP 2024) Eva Graversen, Andrew K. Hirsch, and Fabrizio ...

Choreographing Distributed Systems: A Functional Approach - Paweł Szulc | Lambda Days 2025

Choreographing Distributed Systems: A Functional Approach - Paweł Szulc | Lambda Days 2025

This talk was recorded at Lambda Days in June 2025. If you're curious about our upcoming event, check https://lambdadays.org ...