Stefan Wehr

I am a Ph.D. student at the Institute for Computer Science at the University of Freiburg, Germany. My research interests include functional and object-oriented programming languages.

• 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. 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. 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. 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.

The JavaGI project develops an extension to Java's interface concept. See the project homepage for more details, including a full-blown implementation and several research publications.

I co-organized the following courses:

• Konzepte von Programmiersprachen, SS 2009.
• Informatik I, WS 2008/2009.
• Proseminar: Funktionale Programmierung in Haskell, WS 2008/2009
• Seminar: Type Systems, WS 2008/2009
• 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.

Address:	Dipl.-Inf. Stefan Wehr Universität Freiburg Institut für Informatik Georges-Köhler-Allee 079 79110 Freiburg i. Br. Germany
Room:	00-013, building 079
Sprechstunde:	Donnerstag, 14-15 Uhr
Phone:	+49 761 203 8060
Fax:	+49 761 203 8052
E-Mail:
PGP:	My public key, ID: 0x0B9F5CE4. If you are using gpg, you can import the key with the command gpg --keyserver wwwkeys.de.pgp.net --recv-keys 0B9F5CE4

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