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...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of ACM on programming languages Vol. 9; no. ICFP; pp. 435 - 462
Main Authors:	Sano, Chuta, Garg, Deepak, Kavanagh, Ryan, Pientka, Brigitte, Toninho, Bernardo
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 05.08.2025
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!