Publicacions en què col·labora amb RAFAEL DEL VADO VIRSEDA (3)

2005

  1. Constraint functional logic programming revisited

    Electronic Notes in Theoretical Computer Science

2004

  1. A lazy narrowing calculus for declarative constraint programming

    Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04