Giuseppe Castagna

The Design Principles of the Elixir Type System

2023 · arXiv (Cornell University)

Elixir is a dynamically-typed functional language running on the Erlang Virtual Machine, designed for building scalable and maintainable applications. Its characteristics have earned it a surging adoption by hundreds of industrial actors and tens of …