TY - RPRT TI - The Design Principles of the Elixir Type System AU - Giuseppe Castagna AU - Guillaume Duboc AU - José Valim PY - 2023 DO - 10.22152/programming-journal.org/2024/8/4 UR - https://arxiv.org/abs/2306.06391 ID - 2306.06391 ER -