Gerard Tabone

According to our database, Gerard Tabone authored at least 6 papers between 2021 and 2026.

Collaborative distances:

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

2026

Grits: A message-passing programming language based on the semi-axiomatic sequent calculus.

Adrian Francalanza, Gerard Tabone, Frank Pfenning

Sci. Comput. Program., 2026

Reversible Computation vs. Runtime Adaptation in Industrial IoT Systems.

Duncan Paul Attard, Keith Bugeja, Adrian Francalanza, Marietta Galea, Gerard Tabone, Gianluca Zahra

Proceedings of the Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday, 2026

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