In this instalment of the Elixir Montreal Meetup, Simon will present Castagna, Duboc, and Valim's paper introducing Elixir's new polymorphic static type system: The Design Principles of the Elixir Type System. The meetup will be structured as a presentation of the subject before all are invited to ask questions and discuss about topic, as is common during paper reading club meets.

Link to the paper: https://arxiv.org/pdf/2306.06391