A gradual type system for Elixir. - Mauricio Cassola; Agustín Talagorria; Alberto Pardo; Marcos Viera (J. Comput. Lang., 2022)