ElixirST: a session-based type system for elixir modules
From MaRDI portal
Publication:6052942
DOI10.1016/j.jlamp.2023.100891arXiv2208.04631MaRDI QIDQ6052942
Gerard Tabone, Adrian Francalanza
Publication date: 25 September 2023
Published in: Journal of Logical and Algebraic Methods in Programming, Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2208.04631
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer science (68-XX)
Cites Work
- Unnamed Item
- Unnamed Item
- Synthesising correct concurrent runtime monitors
- A theory of system behaviour in the presence of node and link failure
- A theory of monitors
- Fault-tolerant multiparty session types
- A theory for observational fault tolerance
- Multiparty Asynchronous Session Types
- Session Types as Intuitionistic Linear Propositions
- Parameterised notions of computation
- Formal verification of parallel programs
- Back to futures
- Work Analysis with Resource-Aware Session Types
- A simple library implementation of binary sessions
- Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
This page was built for publication: ElixirST: a session-based type system for elixir modules