Everything about Choreographic programming

🧭 Start here: a 6-step reading path

1. Read the overview: Choreographic programmingA 5-minute orientation
2. Skim a recent paper: Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)Influential work since 2022
3. Pick up a classic book: Tales from the Dance FloorThe most-reprinted book on the subject
4. Read the landmark paper: A core model for choreographic programmingCited 27 times
5. Go sideways: Multitier programmingA closely related topic
6. Go sideways: Jolie (programming language)A closely related topic

🏆 Landmark papers (most cited)

• A core model for choreographic programming

  Luís Cruz-Filipe, Fabrizio Montesi · 2020 · Theoretical Computer Science · 27 citations

• HasChor: Functional Choreographic Programming for All (Functional Pearl)

  Gan Shen, Shun Kashiwa, Lindsey Kuper · 2023 · Proceedings of the ACM on Programming Languages · 22 citations

• Choral: Object-oriented Choreographic Programming

  Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti · 2024 · ACM Transactions on Programming Languages and Systems · 18 citations

• A Formal Theory of Choreographic Programming

  Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti · 2023 · Journal of Automated Reasoning · 12 citations

• Efficient, Portable, Census-Polymorphic Choreographic Programming

  Mako Bates, Shun Kashiwa, Syed Jafri · 2025 · Proceedings of the ACM on Programming Languages · 7 citations

• Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability

  Lovro Lugović, Fabrizio Montesi · 2023 · The Art, Science, and Engineering of Programming · 4 citations

• A model for correlation-based choreographic programming

  Saverio Giallorenzo, Fabrizio Montesi, Maurizio Gabbrielli · 2024 · PeerJ Computer Science · 1 citations

• Choreographic Programming of Isolated Transactions

  Ton Smeele, Sung-Shik Jongmans · 2023 · Electronic Proceedings in Theoretical Computer Science · 0 citations

🆕 Influential since 2022

• Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)

  Dan Plyukhin, Xueying Qin, Fabrizio Montesi · 2025 · Proceedings of the ACM on Programming Languages · 0 citations

📚 Books worth reading

• 📕Tales from the Dance FloorCraig Revel Horwood · 2013
• Dancing out of darknessKristina Rihanoff · 2015
• Dancing lessonsCheryl Burke · 2011
• 📕BalletDeutsche Oper am Rhein · 1987
• 📕Giselle, ou, les willisAdolphe Adam · 1991
• My StoryBruno Tonioli · 2013
• UntitledBruno Tonioli · 2012
• 📕BalletDeutsche Oper am Rhein · 1988

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Multitier programming Multitier programming (or tierless programming) is a programming paradigm for distributed software, which typically follows a multitier architecture, physically…
• Jolie (programming language) Jolie (Java Orchestration Language Interpreter Engine) is an open-source programming language for developing distributed applications based on microservices…
• Session type In type theory, session types are used to ensure correctness in concurrent programs. They guarantee that messages sent and received between concurrent…
• Executable choreography Executable choreography represents a decentralized form of service composition, involving the cooperation of several individual entities. It is an improved…
• Bigraph A bigraph can be modelled as the superposition of a graph (the link graph) and a set of trees (the place graph). Each node of the bigraph is part of a…
• Krzysztof R. Apt Krzysztof R. Apt (born 26 December 1949 in Katowice, Poland) is a Polish computer scientist. He defended his PhD in mathematical logic in Warsaw, Poland…
• Kerberos (protocol) Kerberos (/ˈkɜːr.bər.ɒs/) is a computer-network authentication protocol that works on the basis of tickets to allow nodes communicating over a non-secure…
• Gödel Prize The Gödel Prize is an annual prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical…