Using an Abstract Representation to Specialize Functional Logic Programs

Albert Albiol Elvira Maria, Vidal Oriola Germán Francisco

2000

Lecture Notes in Computer Science