Rewriting and Call-Time Choice: The HO Case

Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández. Rewriting and Call-Time Choice: The HO Case. In Jacques Garrigue, Manuel V. Hermenegildo, editors, Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings. Volume 4989 of Lecture Notes in Computer Science, pages 147-162, Springer, 2008. [doi]

Bibliographies