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 OctDisplayed time zone: Central Time (US & Canada) change
10:50 - 12:10
|Session Types in Elixir
AGEREDOI File Attached
|Towards Practical Protocol Verification via Minimal Orchestration in ACP