Choreographies as Functions. - Luís Cruz-Filipe; Eva Graversen; Lovro Lugovic; Fabrizio Montesi; Marco Peressotti (CoRR, 2021)

Functional Choreographic Programming. - Luís Cruz-Filipe; Eva Graversen; Lovro Lugovic; Fabrizio Montesi; Marco Peressotti (ICTAC, 2022)

Modular Compilation for Higher-Order Functional Choreographies. - Luís Cruz-Filipe; Eva Graversen; Lovro Lugovic; Fabrizio Montesi; Marco Peressotti (ECOOP, 2023)

Certified Compilation of Choreographies with hacc. - Luís Cruz-Filipe; Lovro Lugovic; Fabrizio Montesi (FORTE, 2023)

Real-World Choreographic Programming: An Experience Report. - Lovro Lugovic; Fabrizio Montesi (CoRR, 2023)

Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability. - Lovro Lugovic; Fabrizio Montesi (Art Sci. Eng. Program., 2024)