1 paper · 1 filter
Mauricio Cassola, Agustín Talagorria, Alberto Pardo +1
Elixir is a functional programming language with dynamic typing. We propose a gradual type system that makes it possible to perform type-checking on a significant fragment of the l…