{"ID":2887895,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2508.00482","arxiv_id":"2508.00482","title":"Semantic Subtyping for Maps in Erlang","abstract":"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.","short_abstract":"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 i...","url_abs":"https://arxiv.org/abs/2508.00482","url_pdf":"https://arxiv.org/pdf/2508.00482v1","authors":"[\"Erdem Yildirim\",\"Albert Schimpf\",\"Stefan Wehr\",\"Annette Bieniusa\"]","published":"2025-08-01T09:57:59Z","proceeding":"cs.PL","tasks":"[\"cs.PL\"]","methods":"[]","has_code":false}