Stefan Wehr

• 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. 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. 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 Functional and Declarative Programming in Education. 2008.
• Stefan Wehr and Peter Thiemann
  Subtyping Existential Types
  In 10th Workshop on Formal Techniques for Java-like Programs FTfJP 2008, informal proceedings. 2008.
• Stefan Wehr, Ralf Lämmel, and Peter Thiemann
  JavaGI: Generalized Interfaces for Java
  In Erik Ernst, editor, ECOOP 2007 Object-Oriented Programming. LNCS, vol. 4609, pp. 347-372. Springer-Verlag, 2007.
• Markus Degen, Peter Thiemann, and Stefan Wehr
  Tracking Linear and Affine Resources with Java(X)
  In Erik Ernst, editor, ECOOP 2007 Object-Oriented Programming. LNCS, vol. 4609, pp. 550-574. Springer-Verlag, 2007.
• Stefan Wehr
  ML Modules and Haskell Type Classes: A Constructive Comparison
  Master's thesis, Albert-Ludwigs-Universität, Freiburg, Germany, November 2005.

I co-organized the following courses:

• Softwaretechnik, SS 2008.
• Proseminar Fortgeschrittene Programmierung, WS 2007/2008.
• Informatik I, WS 2007/2008.
• Theory I, SS 2007.
• Compilerbau, WS 2006/2007.
• Praktikum Compilerbau, WS 2006/2007.
• Seminar: Objektorientierte Programmiersprachen, WS 2006/2007
• Internetprogrammierung, SS 2006.
• Seminar: Java, Grundlagen und Erweiterungen, WS2005/2006.
• Softwarepraktikum, WS 2005/2006.

I was one of the local organizers of

• ICFP 2007,
• IFL 2007, and
• Haskell Hackathon 2007 II.

You find a list of software I've written on this page. I also maintain a (X)Emacs Reference (in german).