Higher-Order Transformation of Logic Programs.

Silvija Seres, J. Michael Spivey

Browse the full LOPSTR paper archive.