3 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 3 cited
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules
Gerard Tabone, Adrian Francalanza
This paper builds on prior work investigating the adaptation of session types to provide behavioural information about Elixir modules. A type system called ElixirST has been constr…
cs.LO2014★ 3 cited
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
Adrian Francalanza, Edsko DeVries, Matthew Hennessy
We define a pi-calculus variant with a costed semantics where channels are treated as resources that must explicitly be allocated before they are used and can be deallocated when n…