ElixirST: A session-based type system for Elixir modules - Francalanza, Adrian; Tabone, Gerard (Journal of logical and algebraic methods in programming, 2023)
Keywords: Elixir; Functional programming; Session types; Type systems; Session types; Functional programming; Type systems; Elixir