The narrowing-driven approach to functional logic program specialization (0)

by Elvira Albert, Germán Vidal
Venue:New Generation Comput