2 citations · 3 across the 3 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
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…
cs.HC2026
KI-Adventskalender: An Informal Learning Intervention for Data & AI Literacy
Rahul Sharma, Lars Henrich, Larisa Ivanova +4
Secondary school students increasingly encounter AI systems whose outputs depend on data quality, evaluation choices and modeling assumptions. To provide accessible entry points to…