Modeling Erlang Compiler IR as SMT Formulas. - John Högberg (Erlang, 2024)

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