Lazier Binary Decision Diagrams (BDDs) for set-theoretic types
elixir-lang.org
This article explores the data structures used to represent set-theoretic types and the recent optimizations we have applied to them