2 citations · 2 across the 2 of their papers we have counts for
4 papers
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…
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…
A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday
Annette Bieniusa, Markus Degen, Stefan Wehr
This Festschrift is dedicated to Peter Thiemann on the occasion of his sixtieth birthday, celebrating his significant contributions to the field of programming languages. Over the…