Set-theoretic Types for Erlang. - Albert Schimpf; Stefan Wehr; Annette Bieniusa (IFL, 2022)

Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang. - Florian Berger; Albert Schimpf; Annette Bieniusa; Stefan Wehr (Erlang, 2024)