Stefan Wehr

0000-0001-5242-767X

cs.PLcs.DMcs.LO

On Valency

published · living versions

W_5r79v3e4·v1 · currentpublished

Properly defining Erlang lists

with Albert Schimpf, Annette Bieniusa

1 version

Preprints & journals

7 papers in the corpus · 2021–2026

Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation2603.22032v1 · Albert Schimpf, Stefan Wehr, Annette Bieniusa2026 · 2 citationsarXiv

Semantic Subtyping for Maps in Erlang2508.00482v1 · Erdem Yildirim, Albert Schimpf, Stefan Wehr et al.2025 · 0 citationsarXiv

A Second Soul: Celebrating the Many Languages of Programming -- Festschrift in Honor of Peter Thiemann's Sixtieth Birthday2412.01856v1 · Annette Bieniusa, Markus Degen, Stefan Wehr2024 · 1 citationEPTCS 413, 2024

Set-theoretic Types for Erlang2302.12783v2 · Albert Schimpf, Stefan Wehr, Annette Bieniusa2023 · 12 citationsIFL 2022: Proceedings of the 34th Symposium on Implementation and Application of Functional Languages Article No.: 4, Pages 1 - 1

A Type-Directed, Dictionary-Passing Translation of Method Overloading and Structural Subtyping in Featherweight Generic Go2209.08511v3 · Martin Sulzmann, Stefan Wehr2022 · 1 citationarXiv

Semantic preservation for a type directed translation scheme of Featherweight Go2206.09980v1 · Martin Sulzmann, Stefan Wehr2022 · 1 citationarXiv

A Dictionary-Passing Translation of Featherweight Go2106.14586v3 · Martin Sulzmann, Stefan Wehr2021 · 3 citationsarXiv

Career total: 82 works. 7 are in this corpus.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.