A General Scheme for Constraint Functional Logic Programming. - Francisco Javier López-Fraguas (ALP, 1992)

Implementing a Lazy Functional Logic Language with Disequality Constraints. - Herbert Kuchen; Francisco Javier López-Fraguas; Juan José Moreno-Navarro; Mario Rodríguez-Artalejo (JICSLP, 1992)

A Demand Driven Computation Strategy for Lazy Narrowing. - Rita Loogen; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (PLILP, 1993)

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations. - Egon Börger; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (IFIP Congress (1), 1994)

Combining Lazy Narrowing with Disequality Constraints. - Puri Arenas-Sánchez; Ana Gil-Luezas; Francisco Javier López-Fraguas (PLILP, 1994)

Real Constraints within a Functional Logic Language. - Puri Arenas-Sánchez; Maria Teresa Hortalá-González; Francisco Javier López-Fraguas; Eva Ullán (APPIA-GULP-PRODE, 1996)

A Rewriting Logic for Declarative Programming. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (ESOP, 1996)

Parsing with Non-Deterministic Functions. - Rafael Caballero 001; Francisco Javier López-Fraguas (APPIA-GULP-PRODE, 1998)

Embedding Multiset Constraints into a Lazy Functional Logic Language. - Puri Arenas-Sánchez; Francisco Javier López-Fraguas; Mario Rodrúguez-Arteljo (PLILP/ALP, 1998)

Disequalities May Help to Narrow. - Francisco Javier López-Fraguas; Jaime Sánchez-Hernández (APPIA-GULP-PRODE, 1999)

Extensions: A Technique for Structuring Functional-Logic Programs. - Rafael Caballero 001; Francisco Javier López-Fraguas (Ershov Memorial Conference, 1999)

A Functional-Logic Perspective on Parsing. - Rafael Caballero 001; Francisco Javier López-Fraguas (Fuji International Symposium on Functional and Logic Programming, 1999)

Functional Plus Logic Programming with Built-In and Symbolic Constraints. - Puri Arenas-Sánchez; Francisco Javier López-Fraguas; Mario Rodrúguez-Arteljo (PPDP, 1999)

TOY: A Multiparadigm Declarative System. - Francisco Javier López-Fraguas; Jaime Sánchez-Hernández (RTA, 1999)

An Approach to Declarative Programming Based on a Rewriting Logic. - Juan Carlos González Moreno; Maria Teresa Hortalá-González; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (J. Log. Program., 1999)

Proving Failure in Functional Logic Programs. - Francisco Javier López-Fraguas; Jaime Sánchez-Hernández (Computational Logic, 2000)

A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program. - Rafael Caballero 001; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (WFLP, 2000)

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. - Rafael Caballero 001; Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo (FLOPS, 2001)

Functional Logic Programming with Failure: A Set-Oriented View. - Francisco Javier López-Fraguas; Jaime Sánchez-Hernández (LPAR, 2001)

Dynamic-Cut with Definitional Trees. - Rafael Caballero 001; Francisco Javier López-Fraguas (FLOPS, 2002)

Narrowing Failure in Functional Logic Programming. - Francisco Javier López-Fraguas; Jaime Sánchez-Hernández (FLOPS, 2002)

Failure and equality in functional logic programming. - Francisco Javier López-Fraguas; Jaime Sánchez-Hernández (WFLP, 2003)

Improving Deterministic Computations in Lazy Functional Logic Languages. - Rafael Caballero 001; Francisco Javier López-Fraguas (J. Funct. Log. Program., 2003)

A logic programming approach to the verification of functional-logic programs. - José Miguel Cleva; Javier Leach; Francisco Javier López-Fraguas (PPDP, 2004)

A lazy narrowing calculus for declarative constraint programming. - Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (PPDP, 2004)

Constraint Functional Logic Programming Revisited. - Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (WRLA, 2004)

A Proof Theoretic Approach to Failure in Functional Logic Programming. - Francisco Javier López-Fraguas; Jaime Sánchez-Hernández (Theory Pract. Log. Program., 2004)

Extra Variables Can Be Eliminated from Functional Logic Programs. - Javier de Dios Castro; Francisco Javier López-Fraguas (PROLE, 2006)

Semantic Determinism and Functional Logic Program Properties. - José Miguel Cleva; Francisco Javier López-Fraguas (RULE@FLoC, 2006)

Preface. - Francisco Javier López-Fraguas (WFLP, 2006)

Equivalence of Two Formal Semantics for Functional Logic Programs. - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (PROLE, 2006)

Programming and Languages. - Francisco Javier López-Fraguas (J. Univers. Comput. Sci., 2006)

A simple rewrite notion for call-time choice semantics. - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (PPDP, 2007)

Narrowing for First Order Functional Logic Programs with Call-Time Choice Semantics. - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (INAP/WLP, 2007)

A new generic scheme for functional logic programming with constraints. - Francisco Javier López-Fraguas; Mario Rodríguez-Artalejo; Rafael del Vado Vírseda (High. Order Symb. Comput., 2007)

Rewriting and Call-Time Choice: The HO Case. - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (FLOPS, 2008)

A flexible framework for programming with non-deterministicfunctions. - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (PEPM, 2009)

A Fully Abstract Semantics for Constructor Systems. - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (RTA, 2009)

New Results on Type Systems for Functional Logic Programming. - Francisco Javier López-Fraguas; Enrique Martin-Martin; Juan Rodríguez-Hortalá (WFLP, 2009)

A Lightweight Combination of Semantics for Non-deterministic Functions - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (CoRR, 2009)

A Formalization of the Semantics of Functional-Logic Programming in Isabelle - Francisco Javier López-Fraguas; Stephan Merz; Juan Rodríguez-Hortalá (CoRR, 2009)

Liberal Typing for Functional Logic Programs. - Francisco Javier López-Fraguas; Enrique Martin-Martin; Juan Rodríguez-Hortalá (APLAS, 2010)

A Complete Axiomatization of Strict Equality. - Javier Álvez; Francisco Javier López-Fraguas (FLOPS, 2010)

The Full Abstraction Problem for Higher Order Functional-Logic Programs - Francisco Javier López-Fraguas; Juan Rodríguez-Hortalá (CoRR, 2010)

Well-typed narrowing with extra variables in functional-logic programming. - Francisco Javier López-Fraguas; Enrique Martin-Martin; Juan Rodríguez-Hortalá (PEPM, 2012)

Typing as functional-logic evaluation. - Francisco Javier López-Fraguas; Enrique Martin-Martin (PEPM, 2013)

Safe typing of functional logic programs with opaque patterns and local bindings. - Francisco Javier López-Fraguas; Enrique Martin-Martin; Juan Rodríguez-Hortalá (Inf. Comput., 2014)

Rewriting and narrowing for constructor systems with call-time choice semantics. - Francisco Javier López-Fraguas; Enrique Martin-Martin; Juan Rodríguez-Hortalá; Jaime Sánchez-Hernández (Theory Pract. Log. Program., 2014)

A liberal type system for functional logic programs. - Francisco Javier López-Fraguas; Enrique Martin-Martin; Juan Rodríguez-Hortalá (Math. Struct. Comput. Sci., 2015)

Polymorphic Types in Erlang Function Specifications. - Francisco Javier López-Fraguas; Manuel Montenegro; Juan Rodríguez-Hortalá (FLOPS, 2016)

Polymorphic success types for Erlang. - Francisco Javier López-Fraguas; Manuel Montenegro; Gorka Suárez-García (LPAR, 2018)

Deriving overloaded success type schemes in Erlang. - Francisco Javier López-Fraguas; Manuel Montenegro; Gorka Suárez-García (J. Comput. Lang., 2020)