Gerard Tabone

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Training Sessions

Sequent Calculus

Top Venues

J. Log. Algebraic Methods Program.

Publications

Adrian Francalanza, Gerard Tabone, Frank Pfenning
Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax). COORDINATION (2024)
Adrian Francalanza, Gerard Tabone
ElixirST: A session-based type system for Elixir modules. J. Log. Algebraic Methods Program. 135 (2023)
Gerard Tabone, Adrian Francalanza
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules. ICE (2022)
Gerard Tabone, Adrian Francalanza
Session types in Elixir. AGERE!@SPLASH (2021)