| JavaGI: Generalized Interfaces for Java S Wehr, R Lämmel, P Thiemann ECOOP 2007–Object-Oriented Programming: 21st European Conference, Berlin …, 2007 | 53 | 2007 |
| 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 | 29 | 2011 |
| On the decidability of subtyping with bounded existential types S Wehr, P Thiemann Asian Symposium on Programming Languages and Systems, 111-127, 2009 | 22 | 2009 |
| ML modules and Haskell type classes: A constructive comparison S Wehr, MMT Chakravarty Asian Symposium on Programming Languages and Systems, 188-204, 2008 | 21 | 2008 |
| 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 | 18 | 2007 |
| Set-theoretic Types for Erlang A Schimpf, S Wehr, A Bieniusa Proceedings of the 34th Symposium on Implementation and Application of …, 2022 | 17 | 2022 |
| The interaction of contracts and laziness M Degen, P Thiemann, S Wehr Higher-Order and Symbolic Computation 25 (1), 85-125, 2012 | 14 | 2012 |
| 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 | 14* | 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 | 12 | 2010 |
| Subtyping existential types S Wehr, P Thiemann 10th FTfJP, informal proceedings, 2008 | 9 | 2008 |
| JavaGI in the battlefield: Practical experience with generalized interfaces S Wehr, P Thiemann Proceedings of the eighth international conference on Generative programming …, 2009 | 8 | 2009 |
| ML modules and Haskell type classes: A constructive comparison S Wehr Master's thesis, Albert-Ludwigs-Universität Freiburg, Institut für Informatik, 2005 | 7 | 2005 |
| Interface types for Haskell P Thiemann, S Wehr Asian Symposium on Programming Languages and Systems, 256-272, 2008 | 6 | 2008 |
| A Dictionary-Passing Translation of Featherweight Go M Sulzmann, S Wehr Asian Symposium on Programming Languages and Systems, 102-120, 2021 | 5 | 2021 |
| JavaGI: A language with generalized interfaces S Wehr Freiburg (Breisgau), Univ., Diss., 2010, 2010 | 4 | 2010 |
| Auf dem Weg zu einer robusten Programmierausbildung A Bieniusa, M Degen, P Heidegger, P Thiemann, S Wehr, M Gasbichler, ... | 3 | 2009 |
| Contract monitoring and call-by-name evaluation M Degen, P Thiemann, S Wehr Nordic Workshop on Programming Theory. Tallinn, Estonia, 2008 | 3 | 2008 |
| 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 | 2 | 2008 |
| 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 | 1 | 2022 |
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
