ElixirST: A session-based type system for Elixir modules

• Published in: Journal of logical and algebraic methods in programming Vol. 135; p. 100891
• Main Authors: Francalanza, Adrian, Tabone, Gerard
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.10.2023
• Subjects: Elixir; Functional programming; Session types; Type systems; Session types; Functional programming; Type systems; Elixir

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 whether functions in an Elixir module observe their endpoint specifications, expressed as session types; a correspond...