Toward Verified Library-Level Choreographic Programming with Algebraic Effects

Gan Shen, Lindsey Kuper

Choreographic programming (CP) is a paradigm for programming distributed applications as single, unified programs, called choreographies, that are then compiled to node-local progr…