Haikal Pribadi

According to our database¹, Haikal Pribadi authored at least 3 papers between 2017 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

2017

BioGrakn: A Knowledge Graph-Based Semantic Database for Biomedical Sciences.

[BibT_eX]

[DOI]

Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2017