Papers

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).