Type Theory as a Unifying Paradigm for Modern Databases. - Christoph Dorn 002; Haikal Pribadi (CIKM, 2023)

TypeQL: A Type-Theoretic & Polymorphic Query Language. - Christoph Dorn 002; Haikal Pribadi (Proc. ACM Manag. Data, 2024)