Well-typed narrowing with extra variables in functional-logic programming.

Francisco Javier Lpez-Fraguas, Enrique Martin-Martin, Juan Rodrguez-Hortal

Browse the full PEPM paper archive.