Publications

This page attempts to list all publications relating to Choreographic Programming. The data is available in BibTeX format. If you have anything to add or correct, please edit the file on GitHub and send us a pull request.

Select checkboxes to filter papers by topic:

Higher-order choreographies
Introductions to choreographic programming
Library-level choreographic programming
Programming Language: Choral
Programming Language: Java
Programming Language: Haskell
Programming Language: Typescript
Programming Language: Rust

Paper List

(In reverse chronological order)

[1]

Dan Plyukhin, Xueying Qin, and Fabrizio Montesi. Relax! The semilenient core of choreographic programming (functional pearl). Proc. ACM Program. Lang., 9(ICFP):269:1--269:27, August 2025. [ bib | DOI | http ]

Keywords: higher-order, introduction

[2]

Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, and Joseph P. Near. Efficient, portable, census-polymorphic choreographic programming. Proc. ACM Program. Lang., 9(PLDI), June 2025. [ bib | DOI | http ]

Keywords: library-level, Haskell, Rust, TypeScript

[3]

Dan Plyukhin, Marco Peressotti, and Fabrizio Montesi. Ozone: Fully out-of-order choreographies. In 38th European Conference on Object-Oriented Programming, ECOOP 2025, pages 31:1--31:28. Schloss Dagstuhl, 2024. [ bib | DOI | http ]

Keywords: Choral, Java

[4]

Gan Shen, Shun Kashiwa, and Lindsey Kuper. HasChor: Functional choreographic programming for all (functional pearl). Proc. ACM Program. Lang., 7(ICFP), August 2023. [ bib | DOI | http ]

Keywords: library-level, Haskell, introduction