Nominal Types for Erlang. - Isabell Huang; John Högberg; Kiko Fernandez-Reyes; Tobias Wrigstad (Erlang, 2024)