Follow
Stefan Wehr
Stefan Wehr
Professor of Computer Science, Offenburg University of Applied Sciences
Verified email at hs-offenburg.de
Title
Cited by
Cited by
Year
JavaGI: Generalized Interfaces for Java
S Wehr, R Lämmel, P Thiemann
ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007
522007
JavaGI: The interaction of type classes with interfaces and inheritance
S Wehr, P Thiemann
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (4), 1-83, 2011
272011
On the decidability of subtyping with bounded existential types
S Wehr, P Thiemann
Asian Symposium on Programming Languages and Systems, 111-127, 2009
222009
ML modules and Haskell type classes: A constructive comparison
S Wehr, MMT Chakravarty
Asian Symposium on Programming Languages and Systems, 188-204, 2008
202008
Htdp and dmda in the battlefield: a case study in first-year programming instruction
A Bieniusa, M Degen, P Heidegger, P Thiemann, S Wehr, M Gasbichler, ...
Proceedings of the 2008 international workshop on Functional and declarative …, 2008
20*2008
Tracking Linear and Affine Resources with Java(X)
M Degen, P Thiemann, S Wehr
European Conference on Object-Oriented Programming, 550-574, 2007
182007
The interaction of contracts and laziness
M Degen, P Thiemann, S Wehr
Higher-Order and Symbolic Computation 25 (1), 85-125, 2012
132012
True lies: Lazy contracts for lazy languages–Faithfulness is better than laziness
M Degen, P Thiemann, S Wehr
Informatik 2009–Im Focus das Leben, 2009
13*2009
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation
M Degen, P Thiemann, S Wehr
The Journal of Logic and Algebraic Programming 79 (7), 515-549, 2010
112010
Set-theoretic Types for Erlang
A Schimpf, S Wehr, A Bieniusa
Proceedings of the 34th Symposium on Implementation and Application of …, 2022
92022
Subtyping existential types
S Wehr, P Thiemann
10th FTfJP, informal proceedings, 2008
92008
JavaGI in the battlefield: Practical experience with generalized interfaces
S Wehr, P Thiemann
Proceedings of the eighth international conference on Generative programming …, 2009
82009
ML modules and Haskell type classes: A constructive comparison
S Wehr
Master's thesis, Albert-Ludwigs-Universität Freiburg, Institut für Informatik, 2005
72005
Interface types for Haskell
P Thiemann, S Wehr
Asian Symposium on Programming Languages and Systems, 256-272, 2008
62008
A Dictionary-Passing Translation of Featherweight Go
M Sulzmann, S Wehr
Asian Symposium on Programming Languages and Systems, 102-120, 2021
52021
JavaGI: A language with generalized interfaces
S Wehr
Freiburg (Breisgau), Univ., Diss., 2010, 2010
32010
Auf dem Weg zu einer robusten Programmierausbildung
A Bieniusa, M Degen, P Heidegger, P Thiemann, S Wehr, M Gasbichler, ...
32009
The Relation of Version Control to Concurrent Programming
A Bieniusa, P Thiemann, S Wehr
2008 International Conference on Computer Science and Software Engineering 3 …, 2008
22008
Contract monitoring and call-by-name evaluation
M Degen, P Thiemann, S Wehr
Nordic Workshop on Programming Theory. Tallinn, Estonia, 2008
22008
Semantic preservation for a type directed translation scheme of Featherweight Go
M Sulzmann, S Wehr
International Conference on Mathematics of Program Construction, 178-197, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–20