.png)
Papers
- Grits: A Message-Passing Programming Language based on the Semi-Axiomatic Sequent Calculus. Adrian Francalanza, Gerard Tabone, Frank Pfenning. SCP 2025 [doi].
- Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (SAX). Adrian Francalanza, Gerard Tabone, Frank Pfenning. Coordination 2024 [doi].
- ElixirST: A Session-Based Type System for Elixir Modules. Adrian Francalanza, Gerard Tabone. JLAMP 2023 [doi].
- Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules (extended). Gerard Tabone, Adrian Francalanza. ICE 2022 [doi].
- Session Types in Elixir. Gerard Tabone, Adrian Francalanza. AGERE 2021 [doi].
Talks
- Session-Based Typechecking for Elixir Modules Using ElixirST. Adrian Francalanza, Gerard Tabone. 30 Years of Session Types (ST30).