Description: Statically checks the usage of function calls in Elixir modules against behavioural descriptions based in session types for the service handler design pattern.

Developed at: UOM

Contacts: adrian.francalanza@um.edu.mt, gerard.tabone@um.edu.mt

Available at: https://github.com/gertab/ElixirST