The Design Principles of the Elixir Type System. - Giuseppe Castagna; Guillaume Duboc; José Valim (Art Sci. Eng. Program., 2024)