Albert Schimpf

Set-Theoretic Types for Erlang in Practice (Experience Report)

Set-theoretic type connectives with their native support for union, intersection, and negation have the potential to capture the idioms of dynamically typed languages like Erlang. We investigate whether this theoretical expressiveness translates into practice: does the resulting type solver remain tractable on real-wor...