Same same but different: Static type checkers for Erlang - Annette Bieniusa & A. Schimpf | Code BEAM | Code Sync | Podwise