Typed First-Class Communication Channels and Mobility for Concurrent Scripting Languages
No abstract available.
Related papers
- Synchronous Operations as First-Class Values PLDI 1988
- Specialization of CML message-passing primitives POPL 2007
- Channel dependent types for higher-order mobile processes POPL 2004
- A Typed Language for Distributed Mobile Processes (Extended Abstract) POPL 1998
- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols ESOP 2021
- Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity OOPSLA 2023
- Fencing off go: liveness and safety for channel-based programming POPL 2017
- Multiparty GV: functional multiparty session types with certified deadlock freedom ICFP 2022