Functional Programming with Datalog.

Andr Pacak, Sebastian Erdweg

Browse the full ECOOP paper archive.