Gerard Tabone

According to our database, Gerard Tabone authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax).

Adrian Francalanza, Gerard Tabone, Frank Pfenning

Proceedings of the Coordination Models and Languages, 2024

2023

ElixirST: A session-based type system for Elixir modules.

Adrian Francalanza, Gerard Tabone

J. Log. Algebraic Methods Program., October, 2023

2022

Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules.

Gerard Tabone, Adrian Francalanza

Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022

2021

Session types in Elixir.

Gerard Tabone, Adrian Francalanza

Proceedings of the AGERE 2021: Proceedings of the 11th ACM SIGPLAN International Workshop on Programming Based on Actors, 2021