Tim Süberkrüb

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Original Version

Lambda Calculus

Object Oriented Programming

Top Venues

Proc. ACM Program. Lang.

Publications

David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann
Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices. CoRR (2024)
David Binder, Ingo Skupin, Tim Süberkrüb, Klaus Ostermann
Deriving Dependently-Typed OOP from First Principles. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Klaus Ostermann, David Binder, Ingo Skupin, Tim Süberkrüb, Paul Downen
Introduction and elimination, left and right. Proc. ACM Program. Lang. 6 (ICFP) (2022)