Stefan Wehr

According to our database, Stefan Wehr authored at least 25 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go.

Martin Sulzmann, Stefan Wehr

J. Funct. Program., 2023

Set-theoretic Types for Erlang.

Albert Schimpf, Stefan Wehr, Annette Bieniusa

CoRR, 2023

A Software Architecture Based on Coarse-Grained Self-Adjusting Computations.

Stefan Wehr

Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture, 2023

2022

A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go.

Martin Sulzmann, Stefan Wehr

CoRR, 2022

Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go.

Martin Sulzmann, Stefan Wehr

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

2021

A Dictionary-Passing Translation of Featherweight Go.

Martin Sulzmann, Stefan Wehr

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2012

The interaction of contracts and laziness.

Markus Degen, Peter Thiemann, Stefan Wehr

High. Order Symb. Comput., 2012

2011

JavaGI: The Interaction of Type Classes with Interfaces and Inheritance.

Stefan Wehr, Peter Thiemann

ACM Trans. Program. Lang. Syst., 2011

On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints.

Stefan Wehr, Peter Thiemann

New Gener. Comput., 2011

2010

JavaGI: a language with generalized interfaces.

Stefan Wehr

PhD thesis, 2010

Eager and delayed contract monitoring for call-by-value and call-by-name evaluation.

Markus Degen, Peter Thiemann, Stefan Wehr

J. Log. Algebraic Methods Program., 2010

2009

JavaGI in the battlefield: practical experience with generalized interfaces.

Stefan Wehr, Peter Thiemann

Proceedings of the Generative Programming and Component Engineering, 2009

True Lies: Lazy Contracts for Lazy Languages.

Markus Degen, Peter Thiemann, Stefan Wehr

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

On the Decidability of Subtyping with Bounded Existential Types.

Stefan Wehr, Peter Thiemann

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Htdp and dmda in the battlefield: a case study in first-year programming instruction.

Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel

Proceedings of the 2008 international workshop on Functional and declarative programming in education, 2008

The Relation of Version Control to Concurrent Programming.

Annette Bieniusa, Peter Thiemann, Stefan Wehr

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

ML Modules and Haskell Type Classes: A Constructive Comparison.

Stefan Wehr, Manuel M. T. Chakravarty

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

Interface Types for Haskell.

Peter Thiemann, Stefan Wehr

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

'Shadow BSS' for Blind Source Separation in Rapidly Time-Varying Acoustic Scenes.

Stefan Wehr, Anthony Lombard, Herbert Buchner, Walter Kellermann

Proceedings of the Independent Component Analysis and Signal Separation, 2007

JavaGI : Generalized Interfaces for Java.

Stefan Wehr, Ralf Lämmel, Peter Thiemann

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

Tracking Linear and Affine Resources with Java(X).

Markus Degen, Peter Thiemann, Stefan Wehr

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Waitomo, eine interface-orientierte Programmiersprache.

Peter Thiemann, Stefan Wehr

Softwaretechnik-Trends, 2006

2004

Synchronization of acoustic sensors for distributed ad-hoc audio networks and its use for blind source separation.

Stefan Wehr, Igor Kozintsev, Rainer Lienhart, Walter Kellermann

Proceedings of the Sixth IEEE International Symposium on Multimedia Software Engineering, 2004

2003

Universal synchronization scheme for distributed audio-video capture on heterogeneous computing platforms.

Rainer Lienhart, Igor Kozintsev, Stefan Wehr

Proceedings of the Eleventh ACM International Conference on Multimedia, 2003

On the importance of exact synchronization for distributed audio signal processing.

Rainer Lienhart, Igor Kozintsev, Stefan Wehr, Minerva M. Yeung

Proceedings of the 2003 IEEE International Conference on Acoustics, 2003