Christoph Dorn

Orcid: 0000-0002-1313-7386

Affiliations:

According to our database¹, Christoph Dorn authored at least 2 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

TypeQL: A Type-Theoretic & Polymorphic Query Language.

[BibT_eX]

[DOI]

Proc. ACM Manag. Data, 2024

2023

Type Theory as a Unifying Paradigm for Modern Databases.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023