Stefan Wehr

33 papers A* 1A 2B 6C 1Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Set-Theoretic Types for Erlang: Theory, Implementation, and Evaluation.
CoRR
Albert Schimpf, Stefan Wehr, Annette Bieniusa
2025 J jnl
Semantic Subtyping for Maps in Erlang.
CoRR
Erdem Yildirim, Albert Schimpf, Stefan Wehr, Annette Bieniusa
2024 — ed.
A Second Soul: Celebrating the Many Languages of Programming - Festschrift in Honor of Peter Thiemann's Sixtieth Birthday, Freiburg, Germany, 30th August 2024.
A Second Soul
Annette Bieniusa, Markus Degen, Stefan Wehr
2024 — conf
Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang.
Erlang
Florian Berger, Albert Schimpf, Annette Bieniusa, Stefan Wehr
2023 — conf
A Software Architecture Based on Coarse-Grained Self-Adjusting Computations.
FUNARCH
Stefan Wehr
2023 J jnl
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go.
J. Funct. Program.
Martin Sulzmann, Stefan Wehr
2023 J jnl
Set-theoretic Types for Erlang.
CoRR
Albert Schimpf, Stefan Wehr, Annette Bieniusa
2022 J jnl
A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go.
CoRR
Martin Sulzmann, Stefan Wehr
2022 B conf
Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go.
MPC
Martin Sulzmann, Stefan Wehr
2022 J jnl
Semantic preservation for a type directed translation scheme of Featherweight Go.
CoRR
Martin Sulzmann, Stefan Wehr
2022 — conf
Set-theoretic Types for Erlang.
IFL
Albert Schimpf, Stefan Wehr, Annette Bieniusa
2021 B conf
A Dictionary-Passing Translation of Featherweight Go.
APLAS
Martin Sulzmann, Stefan Wehr
2021 J jnl
A Dictionary-Passing Translation of Featherweight Go.
CoRR
Martin Sulzmann, Stefan Wehr
2012 C conf
The interaction of contracts and laziness.
PEPM
Markus Degen, Peter Thiemann, Stefan Wehr
2012 J jnl
The interaction of contracts and laziness.
High. Order Symb. Comput.
Markus Degen, Peter Thiemann, Stefan Wehr
2011 J jnl
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance.
ACM Trans. Program. Lang. Syst.
Stefan Wehr, Peter Thiemann
2011 J jnl
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints.
New Gener. Comput.
Stefan Wehr, Peter Thiemann
2010 J jnl
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation.
J. Log. Algebraic Methods Program.
Markus Degen, Peter Thiemann, Stefan Wehr
2010 — —
JavaGI: a language with generalized interfaces.
Stefan Wehr
2009 B conf
JavaGI in the battlefield: practical experience with generalized interfaces.
GPCE
Stefan Wehr, Peter Thiemann
2009 B conf
On the Decidability of Subtyping with Bounded Existential Types.
APLAS
Stefan Wehr, Peter Thiemann
2009 — conf
True Lies: Lazy Contracts for Lazy Languages.
GI Jahrestagung
Markus Degen, Peter Thiemann, Stefan Wehr
2008 — conf
Htdp and dmda in the battlefield: a case study in first-year programming instruction.
FDPE@ICFP
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel
2008 B conf
Interface Types for Haskell.
APLAS
Peter Thiemann, Stefan Wehr
2008 B conf
ML Modules and Haskell Type Classes: A Constructive Comparison.
APLAS
Stefan Wehr, Manuel M. T. Chakravarty
2008 — conf
The Relation of Version Control to Concurrent Programming.
CSSE (3)
Annette Bieniusa, Peter Thiemann, Stefan Wehr
2007 — conf
'Shadow BSS' for Blind Source Separation in Rapidly Time-Varying Acoustic Scenes.
ICA
Stefan Wehr, Anthony Lombard, Herbert Buchner, Walter Kellermann
2007 A conf
JavaGI : Generalized Interfaces for Java.
ECOOP
Stefan Wehr, Ralf Lämmel, Peter Thiemann
2007 A conf
Tracking Linear and Affine Resources with Java(X).
ECOOP
Markus Degen, Peter Thiemann, Stefan Wehr
2006 J jnl
Waitomo, eine interface-orientierte Programmiersprache.
Softwaretechnik-Trends
Peter Thiemann, Stefan Wehr
2004 — conf
Synchronization of acoustic sensors for distributed ad-hoc audio networks and its use for blind source separation.
ISMSE
Stefan Wehr, Igor Kozintsev, Rainer Lienhart, Walter Kellermann
2003 — conf
On the importance of exact synchronization for distributed audio signal processing.
ICASSP (4)
Rainer Lienhart, Igor Kozintsev, Stefan Wehr, Minerva M. Yeung
2003 A* conf
Universal synchronization scheme for distributed audio-video capture on heterogeneous computing platforms.
ACM Multimedia
Rainer Lienhart, Igor Kozintsev, Stefan Wehr