PhD Student
Tim Süberkrüb
Software Engineering
FB Informatik
Universität Tübingen
Sand 13
72076 Tübingen
Germany
- tim.sueberkrueb(at)uni-tuebingen.de
- Office
- B211
- Office hours
- by appointment
Publications
Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
by Bohdan Liesnikov, David Binder, and Tim Süberkrüb
In The Art, Science, and Engineering of Programming 10(3), 2025.
Deriving Dependently-Typed OOP from First Principles
by David Binder, Ingo Skupin, Tim Süberkrüb, and Klaus Ostermann
In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2024.
Introduction and Elimination, Left and Right
by Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, and Paul Downen
In Proceedings of the International Conference on Functional Programming (ICFP). ACM Press, 2022.