Fusing Session-Typed Concurrent Programming into Functional Programming
Published in Proceedings of the ACM on Programming Languages • Aug 5, 2025
Authors:,,
Chuta Sano
Deepak Garg
Ryan Kavanagh
Abstract
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...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!