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, software design, type systems, and more. He received a PhD from Freiburg University (Germany) in 2011. After that, he worked for ten years in industry as a full-stack senior software engineer and software architect.

• Albert Schimpf, Stefan Wehr, and Annette Bieniusa
  Set-theoretic Types for Erlang
  In Proc. of IFL 2022. Copenhagen, Denmark. 2023. to appear.
• 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)