Elixirst: a session-based type system for Elixir modules
A Francalanza, G Tabone - Journal of Logical and Algebraic Methods in …, 2023 - Elsevier
This paper investigates the adaptation of session types to provide behavioural information
about Elixir modules. We devise a type system, called ElixirST, which statically determines …
about Elixir modules. We devise a type system, called ElixirST, which statically determines …
The design principles of the elixir type system
G Castagna, G Duboc, J Valim - arXiv preprint arXiv:2306.06391, 2023 - arxiv.org
Elixir is a dynamically-typed functional language running on the Erlang Virtual Machine,
designed for building scalable and maintainable applications. Its characteristics have …
designed for building scalable and maintainable applications. Its characteristics have …
A Bigraphs Paper of Sorts
B Archibald, M Sevegnani - International Conference on Graph …, 2024 - Springer
Bigraphs are an expressive graphical modelling formalism to represent systems with a mix
of both spatial and non-local connectivity. Currently it is possible to write nonsensical …
of both spatial and non-local connectivity. Currently it is possible to write nonsensical …
School of Computing Science, University of Glasgow, Glasgow, UK {blair. archibald, michele. sevegnani}@ glasgow. ac. uk
B Archibald - … : 17th International Conference, ICGT 2024, Held …, 2024 - books.google.com
Bigraphs are an expressive graphical modelling formalism to represent systems with a mix
of both spatial and non-local connectivity. Currently it is possible to write nonsensical …
of both spatial and non-local connectivity. Currently it is possible to write nonsensical …
pi-par: a dependently-typed parallel language with algorithmic skeletons
CM Brown, AD Barwell, F Sloan - 2024 - research-repository.st-andrews.ac …
Algorithmic skeletons are an effective, pattern-based approach for parallelising software.
However, despite implementations for a range of languages and paradigms, there is …
However, despite implementations for a range of languages and paradigms, there is …
[PDF][PDF] Journal of Logical and Algebraic Methods in Programming
A Francalanza, G Tabone - 2023 - staff.um.edu.mt
Modern programming languages offer a variety of abstractions for the construction of
concurrent programs. In the case of message-passing functional programs, concurrency …
concurrent programs. In the case of message-passing functional programs, concurrency …
[PDF][PDF] Session-Based Typechecking for Elixir Modules Using ElixirST
A Francalanza, G Tabone - 2023 - gerardtabone.com
Session-Based Typechecking for Elixir Modules Using ElixirST Page 1 Submitted to: 30 Years of
Session Types October 22-23, 2023 © A. Francalanza & G. Tabone This work is licensed under …
Session Types October 22-23, 2023 © A. Francalanza & G. Tabone This work is licensed under …