3 citations · 3 across the 1 of their papers we have counts for
1 paper
Giuseppe Castagna, Guillaume Duboc
We formalize a new type system for Elixir, a dynamically typed functional programming language of growing popularity that runs on the Erlang virtual machine. Our system combines gr…