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 available in Erlang. The model of types is used to define a semantic subtyping relation based on set containment. The novelty of this work is the definition of subtyping over parameteric map types.
Cite
@article{arxiv.2508.00482,
title = {Semantic Subtyping for Maps in Erlang},
author = {Erdem Yildirim and Albert Schimpf and Stefan Wehr and Annette Bieniusa},
journal= {arXiv preprint arXiv:2508.00482},
year = {2025}
}