Next weekend in São Paulo, I will be presenting a talk about the new Elixir type system at the event Elixir Days. Below, I provide the references I used
- A Gentle Introduction to Semantic Subtyping paper about semantic subtyping the root of Elixir type system
- CDude website language focused on XML manipulation which implements semantic subtyping
- The Design Principles of the Elixir Type System paper describing the new type system for Elixir
- Bringing Types to Elixir by Giuseppe Castagna and Guillaume Duboc talk introducing with code examples
- The foundations of the Elixir type system
- My Future with Elixir: set-theoretic types
- Type system updates: moving from research into development
- Practical Subtyping System For Erlang an attempt of create a static type system for Erlang