ElixirConf 2016 - Dialyzer: Optimistic Type Checking for Erlang and Elixir by Jason VoegeleSeptember 2016