Elixir is a dynamically-typed functional language running on the Erlang
...
In this essay, I present the advantages and, I dare say, the beauty of
p...
We revisit occurrence typing, a technique to refine the type of variable...
Semantic subtyping is an approach to define subtyping relations for type...
Twenty years ago, in an article titled "Covariance and contravariance:
c...