Sciweavers

PEPM
2012
ACM

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

12 years 6 months ago
Well-typed narrowing with extra variables in functional-logic programming
Francisco Javier López-Fraguas, Enrique Mar
Added 25 Apr 2012
Updated 25 Apr 2012
Type Journal
Year 2012
Where PEPM
Authors Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá
Comments (0)