David Klopp, André Pacak, Sebastian Erdweg. Separate Compilation and Partial Linking: Modules for Datalog IR. In Shigeru Chiba, Thomas Thüm, editors, Proceedings of the 23rd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2024, Pasadena, CA, USA, October 21-22, 2024. pages 94-106, ACM, 2024. [doi]
Abstract is missing.