Fusing Session-Typed Concurrent Programming into Functional Programming

We introduce FuSes, a Functional programming language that integrates Session-typed concurrent process calculus code. A functional layer sits on top of a session-typed process layer. To generate and reason about open session-typed processes, the functional layer uses the contextual box modality exte...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 9; číslo ICFP; s. 435 - 462
Hlavní autoři:	Sano, Chuta, Garg, Deepak, Kavanagh, Ryan, Pientka, Brigitte, Toninho, Bernardo
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 05.08.2025
Témata:	Computing methodologies Concurrent programming languages Functional languages Linear logic Software and its engineering Theory of computation Type theory session types linear logic metaprogramming concurrency
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!