| A Software Architecture Based on Coarse-Grained Self-Adjusting Computations S Wehr Proceedings of the 1st ACM SIGPLAN International Workshop on Functional …, 2023 | | 2023 |
| A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go M SULZMANN, S WEHR Journal of Functional Programming 33, e8, 2023 | | 2023 |
| 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 |
| A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go M Sulzmann, S Wehr arXiv preprint arXiv:2209.08511, 2022 | 1 | 2022 |
| Set-theoretic Types for Erlang A Schimpf, S Wehr, A Bieniusa Proceedings of the 34th Symposium on Implementation and Application of …, 2022 | 5 | 2022 |
| A Dictionary-Passing Translation of Featherweight Go M Sulzmann, S Wehr Asian Symposium on Programming Languages and Systems, 102-120, 2021 | 5 | 2021 |
| The interaction of contracts and laziness M Degen, P Thiemann, S Wehr Higher-Order and Symbolic Computation 25 (1), 85-125, 2012 | 13 | 2012 |
| 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 | 27 | 2011 |
| On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints S Wehr, P Thiemann New Generation Computing 29, 87-124, 2011 | 1 | 2011 |
| 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 | 11 | 2010 |
| JavaGI: A language with generalized interfaces S Wehr Freiburg (Breisgau), Univ., Diss., 2010, 2010 | 3 | 2010 |
| 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 |
| 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 |
| Formalizing CoreGI S Wehr Technical Report 248, Universität Freiburg, 2009. ftp://ftp. informatik. uni …, 2009 | 1 | 2009 |
| 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 |
| Auf dem Weg zu einer robusten Programmierausbildung A Bieniusa, M Degen, P Heidegger, P Thiemann, S Wehr, M Gasbichler, ... | 3 | 2009 |
| 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 |
| ML modules and Haskell type classes: A constructive comparison S Wehr, MMT Chakravarty Asian Symposium on Programming Languages and Systems, 188-204, 2008 | 20 | 2008 |
| Interface types for Haskell P Thiemann, S Wehr Asian Symposium on Programming Languages and Systems, 256-272, 2008 | 6 | 2008 |
| Type inference for Java (X) M Degen, P Thiemann, S Wehr | | 2008 |
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
