WCFLP

Keyphrases

Publications

2005

J. Guadalupe Ramos, Josep Silva, Germán Vidal
An offline partial evaluator for curry programs. WCFLP (2005)
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005 WCFLP (2005)
Rafael Caballero
A declarative debugger of incorrect answers for constraint functional-logic programs. WCFLP (2005)
Claudio Ochoa, Josep Silva, Germán Vidal
Lightweight program specialization via dynamic slicing. WCFLP (2005)
Sebastian Fischer
A functional logic database library. WCFLP (2005)
Sonia Estévez Martín, Rafael del Vado Vírseda
using definitional trees. WCFLP (2005)
Jesús Manuel Almendros-Jiménez
Constraint logic programming over sets of spatial objects. WCFLP (2005)
Emilio Jesús Gallego Arias, Julio Mariño
An overview of the Sloth2005 curry system: system description. WCFLP (2005)
Bernd Braßel, Frank Huch
Translating curry to haskell system demo. WCFLP (2005)
Julio Mariño, José María Rey Poza
Adding constraints to curry via flat guards. WCFLP (2005)
Michael Hanus
A generic analysis environment for declarative programs. WCFLP (2005)