Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá. Well-typed narrowing with extra variables in functional-logic programming. In Oleg Kiselyov, Simon Thompson, editors, Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. pages 83-92, ACM, 2012. [doi]
No reviews for this publication, yet.