Functional choreographic programming

DOI10.1007/978-3-031-17715-6_15arXiv2111.03701MaRDI QIDQ6109477

Marco Peressotti, Luís Cruz-Filipe, Lovro Lugović, Eva Graversen, Fabrizio Montesi

Publication date: 28 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2111.03701

zbMATH Keywords

concurrencylambda calculustype systemschoreographies

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Functional choreographic programming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mobile ambients
• A core model for choreographic programming
• Certifying choreography compilation
• Enforcing Availability in Failure-Aware Communicating Systems
• Nested Protocols in Session Types
• Deadlock-freedom-by-design
• Binary Session Types for Psi-Calculi
• Multiparty asynchronous session types
• New directions in cryptography
• Using encryption for authentication in large networks of computers
• Procedural Choreographic Programming
• Structured Communication-Centred Programming for Web Services
• Functional choreographic programming
• A predicate transformer for choreographies. Computing preconditions in choreographic programming

This page was built for publication: Functional choreographic programming