An IPSJ Journal Paper on Choreographic Programming
A paper titled “A Formalization of Choreographic Programming Using Effects and Coeffects”, authored by Matsuyama, Cong and Masuhara, was accepted by the IPSJ Transaction on Programming.
The paper was presented at the 156th IPSJ SIG Programming Workshop on November, 2025.