2023
DOI: 10.48550/arxiv.2303.04678
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

Alice or Bob?: Process Polymorphism in Choreographies

Abstract: We present PolyChorλ , a language for higher-order functional choreographic programming-an emerging paradigm by which programmers write the desired cooperative behaviour of a system of communicating processes and then compile it into distributed implementations for each process, a translation called endpoint projection. Unlike its predecessor, Chorλ , PolyChorλ has both type and process polymorphism inspired by System F ω . That is, PolyChorλ is the first (higher-order) functional choreographic language which … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2023
2023
2024
2024

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
references
References 27 publications
0
0
0
Order By: Relevance