Gerard Tabone

According to our database, Gerard Tabone authored at least 3 papers between 2021 and 2023.

Collaborative distances:

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

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