@Inproceedings{EPTCS365.2, author = {Tabone, Gerard and Francalanza, Adrian}, year = {2022}, title = {Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules}, editor = {Aubert, Cl\'ement and Di Giusto, Cinzia and Safina, Larisa and Scalas, Alceste}, booktitle = {{\rm Proceedings 15th} Interaction and Concurrency Experience, {\rm Lucca, Italy, 17th June 2022}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {365}, publisher = {Open Publishing Association}, pages = {17-36}, doi = {10.4204/EPTCS.365.2}, }