A community for researchers and practitioners interested in multiparty programming, including multitier programming, choreographic programming, session types, and the intersections between them. Join the (multi)party!
Please check the code of conduct for this community at https://github.com/choreographic-programming/website/blob/main/CODE_OF_CONDUCT.md