Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation

Albert Schimpf, Stefan Wehr, Annette Bieniusa

Erlang's dynamic typing discipline can lead to runtime errors that persist even after process restarts. Some of these runtime errors could be prevented through static type checking…