Skip to content

Type Theory as a Unifying Paradigm for Modern Databases.

Christoph Dorn, Haikal Pribadi

VenueACIKM
Year2023
ProceedingsCIKM

Browse the full CIKM paper archive.