11 citations · 13 across the 3 of their papers we have counts for
4 papers · 1 filter
Properly defining Erlang lists
Albert Schimpf, Stefan Wehr, Annette Bieniusa
We define list types, distinguishing proper lists, which end in the empty list, from improper lists, which may end in any value. Both are encoded as recursive types of cons cells,…
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…
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…
Set-theoretic Types for Erlang
Albert Schimpf, Stefan Wehr, Annette Bieniusa
Erlang is a functional programming language with dynamic typing. The language offers great flexibility for destructing values through pattern matching and dynamic type tests. Erlan…