FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
RAFAEL DEL
VADO VIRSEDA
Profesor contratado doctor
Publicacions en què col·labora amb RAFAEL DEL VADO VIRSEDA (3)
2007
-
A new generic scheme for functional logic programming with constraints
Higher-Order and Symbolic Computation
2005
-
Constraint functional logic programming revisited
Electronic Notes in Theoretical Computer Science
2004
-
A lazy narrowing calculus for declarative constraint programming
Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04