David Klopp, Sebastian Erdweg, André Pacak. A Typed Multi-level Datalog IR and Its Compiler Framework. Proceedings of the ACM on Programming Languages, 8(OOPSLA2):1586-1614, 2024. [doi]
@article{KloppEP24a,
title = {A Typed Multi-level Datalog IR and Its Compiler Framework},
author = {David Klopp and Sebastian Erdweg and André Pacak},
year = {2024},
doi = {10.1145/3689767},
url = {https://doi.org/10.1145/3689767},
researchr = {https://researchr.org/publication/KloppEP24a},
cites = {0},
citedby = {0},
journal = {Proceedings of the ACM on Programming Languages},
volume = {8},
number = {OOPSLA2},
pages = {1586-1614},
}