Lovro Lugovic

According to our database, Lovro Lugovic authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

Lovro Lugovic, Fabrizio Montesi

Art Sci. Eng. Program., 2024

2023

Real-World Choreographic Programming: An Experience Report.

Lovro Lugovic, Fabrizio Montesi

CoRR, 2023

Certified Compilation of Choreographies with hacc.

Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Modular Compilation for Higher-Order Functional Choreographies.

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Functional Choreographic Programming.

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Choreographies as Functions.

Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

CoRR, 2021