Functional Choreographic Programming.

Lus Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti

Browse the full ICTAC paper archive.