Skip to content

Higher-order transformation of logic programs.

Silvija Seres, J. Michael Spivey

VenueCLOPSTR
Year2000
ProceedingsLOPSTR

Browse the full LOPSTR paper archive.