Session types in Elixir. - Gerard Tabone; Adrian Francalanza (AGERE!@SPLASH, 2021)

Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules. - Gerard Tabone; Adrian Francalanza (ICE, 2022)

ElixirST: A session-based type system for Elixir modules. - Adrian Francalanza; Gerard Tabone (J. Log. Algebraic Methods Program., 2023)

Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax). - Adrian Francalanza; Gerard Tabone; Frank Pfenning (COORDINATION, 2024)

Grits: A message-passing programming language based on the semi-axiomatic sequent calculus. - Adrian Francalanza; Gerard Tabone; Frank Pfenning (Sci. Comput. Program., 2026)