Stefan Wehr

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 10

Top Venues

University of Freiburg (PHD)

Education History

University of Freiburg

PHD

Publications

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

Stefan Wehr.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Wehr