A transformation system for lazy functional logic programs (1999)

by M Alpuente, M Falaschi, G Moreno, G Vidal
Venue:Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming, FLOPS'99, Lecture Notes in Computer Science 631