Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs (2001)

by R Caballero, F J López-Fraguas, M Rodŕıguez-Artalejo
Venue:Proc. of the 5th International Symposium on Functional and Logic Programming (FLOPS’2001), Springer LNCS 2024