Tim Süberkrüb

Orcid: 0000-0001-8709-6321

According to our database¹, Tim Süberkrüb authored at least 4 papers between 2022 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments.

[BibT_eX]

[DOI]

Bohdan Liesnikov

David Binder

Tim Süberkrüb

Art Sci. Eng. Program., 2025

2024

Deriving Dependently-Typed OOP from First Principles.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices.

[BibT_eX]

[DOI]

CoRR, 2024

2022

Introduction and elimination, left and right.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

Tim Süberkrüb

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...