2 papers
cs.PL2026
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…
cs.PL2025
Semantic Subtyping for Maps in Erlang
Erdem Yildirim, Albert Schimpf, Stefan Wehr +1
In this paper we will construct a set-theoretic model of types featuring type variables, base types, set-theoretic types and map types. Syntax of map types spans all the map types…