Prof. Dr. Stefan Wehr
Stefan Wehr is a professor at Offenburg University of Applied Sciences. His research interests include functional and object-oriented programming languages, especially software design, software architecture and type systems. He received a PhD from Freiburg University (Germany) in 2011. After that, he worked for ten years in industry before joining Offenburg University in 2020.
- Florian Berger, Albert Schimpf, Annette Bieniusa, and Stefan Wehr
Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang
In Proc. of Erlang Workshop. Milan, Italy. ACM, 2024. - Martin Sulzmann and Stefan Wehr
A Type-Directed, Dictionary-Passing Translation of Method Overloading and Structural Subtyping in Featherweight Generic Go
Journal of Functional Programming, 33, October 2023. -
Stefan Wehr
A Software Architecture Based on Coarse-Grained Self-Adjusting Computations
In Proc. of FUNARCH 2023. Seattle, WA, USA. ACM, 2023. - Albert Schimpf, Stefan Wehr, and Annette Bieniusa
Set-theoretic Types for Erlang
In Proc. of IFL 2022. Copenhagen, Denmark. ACM, 2023. - Martin Sulzmann and Stefan Wehr
Semantic preservation for a type directed translation scheme of Featherweight Go
In Proc. of MPC 2022. Lecture Notes in Computer Science, vol. 13544, Tbilisi, Georgia. Springer, 2022. - Martin Sulzmann and Stefan Wehr
A Dictionary-Passing Translation of Featherweight Go
In Proc. of APLAS 2021. Lecture Notes in Computer Science, vol. 13008, Chicago, IL, USA. Springer, 2021. - Markus Degen, Peter Thiemann, and Stefan Wehr
The interaction of contracts and laziness
Higher-Order and Symbolic Computation, 25:85-125, 2012. -
Stefan Wehr and Peter Thiemann
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance
ACM Transactions on Programming Languages and Systems, 33:12:1-12:83, July 2011. -
Stefan Wehr and Peter Thiemann
On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints
New Generation Computing, 29:87-124, January 2011. -
Stefan Wehr
JavaGI: A Language with Generalized Interfaces
PhD thesis, Technische Fakultät der Albert-Ludwigs-Universität Freiburg im Breisgau, Germany, August 2010. URL: http://www.freidok.uni-freiburg.de/volltexte/7678/, URN: urn:nbn:de:bsz:25-opus-76785. - Markus Degen, Peter Thiemann, and Stefan Wehr
Eager and Delayed Contract Monitoring for Call-by-value and Call-by-name Evaluation
Journal of Logic and Algebraic Programming, 79(7):515-549, October 2010. -
Stefan Wehr and Peter Thiemann
On the Decidability of Subtyping with Bounded Existential Types
In Proceedings of the Seventh Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, vol. 5904, Seoul, South Korea. Springer, 2009. -
Stefan Wehr and Peter Thiemann
JavaGI in the Battlefield: Practical Experience with Generalized Interfaces
In Proceedings of the 8th International Conference on Generative Programming and Component Engineering (GPCE 2009). Denver, Colorado, USA. ACM, 2009. - Markus Degen, Peter Thiemann, and Stefan Wehr
True Lies: Lazy Contracts for Lazy Languages (Faithfulness is Better than Laziness)
In 4. Arbeitstagung Programmiersprachen (ATPS'09). Lübeck, Germany. October 2009. - Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Marcus Crestani, Herbert Klaeren, Eric Knauel, and Michael Sperber
Auf dem Weg zu einer robusten Programmierausbildung
In Tagungsband zur 3. GI-Fachtagung Hochschuldidaktik Informatik. Potsdam, Germany. December 2008. - Markus Degen, Peter Thiemann, and Stefan Wehr
Contract Monitoring and Call-by-name Evaluation (extended abstract)
In 20th Nordic Workshop on Programming Theory. Tallinn, Estonia. November 2008. - Peter Thiemann and Stefan Wehr
Interface Types for Haskell
In Proceedings of the Sixth Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, vol. 5356, Bangalore, India. Springer, 2008. -
Stefan Wehr and Manuel M. T. Chakravarty
ML Modules and Haskell Type Classes: A Constructive Comparison
In Proceedings of the Sixth Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, vol. 5356, Bangalore, India. Springer, 2008. - Annette Bieniusa, Peter Thiemann, and Stefan Wehr
The Relation of Version Control to Concurrent Programming
In Proceedings of the International Conference on Computer Science and Software Engineering. IEEE, 2008. - Annette Bieniusa, Marcus Crestani, Markus Degen, Martin Gasbichler, Phillip Heidegger, Herbert Klaeren, Eric Knauel, Michael Sperber, Peter Thiemann, and Stefan Wehr
HtDP and DMdA in the Battlefield - A Case Study in First-year Programming Instruction
In Proceedings of the 2008 Workshop on Functional and Declarative Programming in Education. Victoria, BC, Canada. 2008. -
Stefan Wehr and Peter Thiemann
Subtyping Existential Types
In 10th Workshop on Formal Techniques for Java-like Programs FTfJP 2008, informal proceedings. Paphos, Cyprus. 2008. -
Stefan Wehr, Ralf Lämmel, and Peter Thiemann
JavaGI: Generalized Interfaces for Java
In Erik Ernst, editor, Proceedings of the European Conference on Object-Oriented Programming. Lecture Notes in Computer Science, vol. 4609, pp. 347-372, Berlin, Germany. Springer, 2007. - Markus Degen, Peter Thiemann, and Stefan Wehr
Tracking Linear and Affine Resources with Java(X)
In Erik Ernst, editor, Proceedings of the European Conference on Object-Oriented Programming. Lecture Notes in Computer Science, vol. 4609, pp. 550-574, Berlin, Germany. Springer, 2007. -
Stefan Wehr
ML Modules and Haskell Type Classes: A Constructive Comparison
Master's thesis, Albert-Ludwigs-Universität, Freiburg, Germany, November 2005.
Simplicity is a great virtue but it requires hard work to achieve it and education to appreciate it. And to make matters worse: complexity sells better. (Edsger W. Dijkstra)
Imprint & privacy policy //
Last modified: 2024-09-10T10:21:26+02:00