11 citations · 13 across the 3 of their papers we have counts for
Showing 2026 · cs.PLShow all
2 papers · 2 filters
cs.PL2026
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,…
cs.PL2026★ 2 cited
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…