Login / Signup
Haikal Pribadi
ORCID
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 3
Top Topics
Query Language
Relational Database Theory
Social Choice
Databases
Top Venues
Proc. ACM Manag. Data
CIKM
CISIS
</>
Publications
</>
Christoph Dorn
,
Haikal Pribadi
TypeQL: A Type-Theoretic & Polymorphic Query Language.
Proc. ACM Manag. Data
2 (2) (2024)
Christoph Dorn
,
Haikal Pribadi
Type Theory as a Unifying Paradigm for Modern Databases.
CIKM
(2023)
Antonio Messina
,
Haikal Pribadi
,
Jo Stichbury
,
Michelangelo Bucci
,
Szymon Klarman
,
Alfonso Urso
BioGrakn: A Knowledge Graph-Based Semantic Database for Biomedical Sciences.
CISIS
(2017)