Type Theory as a Unifying Paradigm for Modern Databases.
| Anthology ID: | DBLP:conf/cikm/DornP23 |
|---|---|
| Volume: | Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, CIKM 2023, Birmingham, United Kingdom, October 21-25, 2023 |
| Year: | 2023 |
| Venue: | International Conference on Information and Knowledge Management (CIKM) |
| Publisher: | ACM |
| Pages: | 5238-5239 |
| URL: | https://doi.org/10.1145/3583780.3615999 |
| DOI: | https://doi.org/10.1145/3583780.3615999 |
| DBLP: | conf/cikm/DornP23 |
| BibTeX: |
@inproceedings{dorn-2023-type,
author = {Christoph Dorn and
Haikal Pribadi},
editor = {Ingo Frommholz and
Frank Hopfgartner and
Mark Lee and
Michael P. Oakes and
Mounia Lalmas-Roelleke and
Min Zhang and
Rodrygo L. T. Santos},
title = {{Type Theory as a Unifying Paradigm for Modern Databases}},
booktitle = {{Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, CIKM 2023, Birmingham, United Kingdom, October 21-25, 2023}},
pages = {5238--5239},
publisher = {ACM},
year = {2023},
url = {https://doi.org/10.1145/3583780.3615999},
doi = {https://doi.org/10.1145/3583780.3615999}
}