1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2024
Corps: A Core Calculus of Hierarchical Choreographic Programming
Andrew K. Hirsch
Functional choreographic programming suggests a new propositions-as-types paradigm might be possible. In this new paradigm, communication is not modeled linearly; instead, ownershi…
cs.PL2023★ 1 cited
Alice or Bob?: Process Polymorphism in Choreographies
Eva Graversen, Andrew K. Hirsch, Fabrizio Montesi
We present PolyChor, a language for higher-order functional \emph{choreographic programming} -- an emerging paradigm by which programmers write the desired cooperative behaviour…