A Partial Evaluation Framework for Curry Programs

Albert Albiol Elvira Maria, Alpuente Frasnedo María, Vidal Oriola Germán Francisco

1999

Lecture Notes in Computer Science