Publikationen, an denen er mitarbeitet RAFAEL DEL VADO VIRSEDA (3)

2007

  1. A new generic scheme for functional logic programming with constraints

    Higher-Order and Symbolic Computation

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