Separate Compilation and Partial Linking: Modules for Datalog IR.

David Klopp, Andr Pacak, Sebastian Erdweg

Browse the full GPCE paper archive.