Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Stefan Wehr

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[c10]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/pepm/DegenTW12
- ask others
Markus Degen, Peter Thiemann, Stefan Wehr: The interaction of contracts and laziness. PEPM 2012: 97-106
2011
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ngc/WehrT11
- ask others
Stefan Wehr, Peter Thiemann: On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints. New Generation Comput. 29(1): 87-124 (2011)
[j3]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/WehrT11
- ask others
Stefan Wehr, Peter Thiemann: JavaGI: The Interaction of Type Classes with Interfaces and Inheritance. ACM Trans. Program. Lang. Syst. 33(4): 12 (2011)
2010
[b1]
- view
  - electronic edition @ uni-freiburg.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - phd/de/Wehr2010
- ask others
Stefan Wehr: JavaGI: a language with generalized interfaces. University of Freiburg 2010
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/DegenTW10
- ask others
Markus Degen, Peter Thiemann, Stefan Wehr: Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. J. Log. Algebr. Program. 79(7): 515-549 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aplas/WehrT09
- ask others
Stefan Wehr, Peter Thiemann: On the Decidability of Subtyping with Bounded Existential Types. APLAS 2009: 111-127
[c8]
- view
  - electronic edition @ emis.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gi/DegenTW09
- ask others
Markus Degen, Peter Thiemann, Stefan Wehr: True Lies: Lazy Contracts for Lazy Languages. GI Jahrestagung 2009: 2946-2959
[c7]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gpce/WehrT09
- ask others
Stefan Wehr, Peter Thiemann: JavaGI in the battlefield: practical experience with generalized interfaces. GPCE 2009: 65-74
2008
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aplas/WehrC08
- ask others
Stefan Wehr, Manuel M. T. Chakravarty: ML Modules and Haskell Type Classes: A Constructive Comparison. APLAS 2008: 188-204
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aplas/ThiemannW08
- ask others
Peter Thiemann, Stefan Wehr: Interface Types for Haskell. APLAS 2008: 256-272
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csse/BieniusaTW08
- ask others
Annette Bieniusa, Peter Thiemann, Stefan Wehr: The Relation of Version Control to Concurrent Programming. CSSE (3) 2008: 461-464
2007
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoop/WehrLT07
- ask others
Stefan Wehr, Ralf Lämmel, Peter Thiemann: JavaGI : Generalized Interfaces for Java. ECOOP 2007: 347-372
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoop/DegenTW07
- ask others
Markus Degen, Peter Thiemann, Stefan Wehr: Tracking Linear and Affine Resources with Java(X). ECOOP 2007: 550-574
2006
[j1]
- view
  - electronic edition @ uni-siegen.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/stt/ThiemannW06
- ask others
Peter Thiemann, Stefan Wehr: Waitomo, eine interface-orientierte Programmiersprache. Softwaretechnik-Trends 26(2) (2006)
2003
[c1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mm/LienhartKW03
- ask others
Rainer Lienhart, Igor Kozintsev, Stefan Wehr: Universal synchronization scheme for distributed audio-video capture on heterogeneous computing platforms. ACM Multimedia 2003: 263-266