A Basis for a Multi-Level Meta-Logic Programming Language.

Jonas Barklund, Katrin Boberg, Pierangelo Dell'Acqua

Browse the full LOPSTR paper archive.