SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Sun 17 Oct 2021 10:50 - 11:15 at Zurich F - Behavioural Types Chair(s): Simon Fowler

This paper proposes an adaptation of session types to provide behavioural information about public functions in Elixir modules. We formalise typechecking rules for the main constructs of the language. This allows us to statically determine whether a function implementation observes its session endpoint specification. Based on this type system, we then construct a tool that automates typechecking for Elixir modules.

Sun 17 Oct

Displayed time zone: Central Time (US & Canada) change

10:50 - 12:10
Behavioural TypesAGERE at Zurich F
Chair(s): Simon Fowler University of Glasgow
10:50
25m
Full-paper
Session Types in Elixir
AGERE
Gerard Tabone University of Malta, Adrian Francalanza University of Malta
DOI File Attached
11:15
25m
Talk
Towards Practical Protocol Verification via Minimal Orchestration in ACP
AGERE
Bas van den Heuvel University of Groningen, Jorge A. Pérez University of Groningen, The Netherlands
File Attached