Functional Choreographic Programming
Luı́s Cruz-Filipe, Eva Graversen, Lovro Lugović, Fabrizio Montesi, Marco Peressotti
Topics & Concepts
Computer scienceProgramming languageComputer graphics (images)Logic, programming, and type systemsUser Authentication and Security SystemsFormal Methods in Verification