Francisco Javier López-Fraguas

According to our database, Francisco Javier López-Fraguas authored at least 52 papers between 1992 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Deriving overloaded success type schemes in Erlang.

Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García

J. Comput. Lang., 2020

2018

Polymorphic success types for Erlang.

Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2016

Polymorphic Types in Erlang Function Specifications.

Francisco Javier López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015

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

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

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

2013

Typing as functional-logic evaluation.

Francisco Javier López-Fraguas, Enrique Martin-Martin

Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012

Well-typed narrowing with extra variables in functional-logic programming.

Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

2010

The Full Abstraction Problem for Higher Order Functional-Logic Programs

Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá

CoRR, 2010

A Complete Axiomatization of Strict Equality.

Javier Álvez, Francisco Javier López-Fraguas

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

Liberal Typing for Functional Logic Programs.

Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

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

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

New Results on Type Systems for Functional Logic Programming.

Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá

Proceedings of the Functional and Constraint Logic Programming, 2009

A Fully Abstract Semantics for Constructor Systems.

Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

A flexible framework for programming with non-deterministicfunctions.

Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2008

Rewriting and Call-Time Choice: The HO Case.

Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández

Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

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

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

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

A simple rewrite notion for call-time choice semantics.

Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2006

Programming and Languages.

Francisco Javier López-Fraguas

J. Univers. Comput. Sci., 2006

Equivalence of Two Formal Semantics for Functional Logic Programs.

Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

Preface.

Francisco Javier López-Fraguas

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

Semantic Determinism and Functional Logic Program Properties.

José Miguel Cleva, Francisco Javier López-Fraguas

Proceedings of the 7th International Workshop on Rule Based Programming, 2006

Extra Variables Can Be Eliminated from Functional Logic Programs.

Javier de Dios Castro, Francisco Javier López-Fraguas

Proceedings of the Sixth Spanish Conference on Programming and Languages, 2006

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

Constraint Functional Logic Programming Revisited.

Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

A lazy narrowing calculus for declarative constraint programming.

Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

A logic programming approach to the verification of functional-logic programs.

José Miguel Cleva, Javier Leach, Francisco Javier López-Fraguas

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003

Improving Deterministic Computations in Lazy Functional Logic Languages.

Rafael Caballero, Francisco Javier López-Fraguas

J. Funct. Log. Program., 2003

Failure and equality in functional logic programming.

Francisco Javier López-Fraguas, Jaime Sánchez-Hernández

Proceedings of the 12th International Workshop on Functional and Constraint Logic Programming, 2003

2002

Narrowing Failure in Functional Logic Programming.

Francisco Javier López-Fraguas, Jaime Sánchez-Hernández

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

Dynamic-Cut with Definitional Trees.

Rafael Caballero, Francisco Javier López-Fraguas

Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

2001

Functional Logic Programming with Failure: A Set-Oriented View.

Francisco Javier López-Fraguas, Jaime Sánchez-Hernández

Proceedings of the Logic for Programming, 2001

Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs.

Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

2000

A Logical Framework for the Algorithmic Debugging of Lazy Functional-Logic Program.

Rafael Caballero, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Proving Failure in Functional Logic Programs.

Francisco Javier López-Fraguas, Jaime Sánchez-Hernández

Proceedings of the Computational Logic, 2000

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

<i>TOY</i>: A Multiparadigm Declarative System.

Francisco Javier López-Fraguas, Jaime Sánchez-Hernández

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Functional Plus Logic Programming with Built-In and Symbolic Constraints.

Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

A Functional-Logic Perspective on Parsing.

Rafael Caballero, Francisco Javier López-Fraguas

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

Extensions: A Technique for Structuring Functional-Logic Programs.

Rafael Caballero, Francisco Javier López-Fraguas

Proceedings of the Perspectives of System Informatics, 1999

Disequalities May Help to Narrow.

Francisco Javier López-Fraguas, Jaime Sánchez-Hernández

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Embedding Multiset Constraints into a Lazy Functional Logic Language.

Puri Arenas-Sánchez, Francisco Javier López-Fraguas, Mario Rodrúguez-Arteljo

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Parsing with Non-Deterministic Functions.

Rafael Caballero, Francisco Javier López-Fraguas

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

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

Proceedings of the Programming Languages and Systems, 1996

Real Constraints within a Functional Logic Language.

Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1994

Combining Lazy Narrowing with Disequality Constraints.

Puri Arenas-Sánchez, Ana Gil-Luezas, Francisco Javier López-Fraguas

Proceedings of the Programming Language Implementation and Logic Programming, 1994

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations.

Egon Börger, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo

Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1993

A Demand Driven Computation Strategy for Lazy Narrowing.

Rita Loogen, Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo

Proceedings of the Programming Language Implementation and Logic Programming, 1993

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

Proceedings of the Logic Programming, 1992

A General Scheme for Constraint Functional Logic Programming.

Francisco Javier López-Fraguas

Proceedings of the Algebraic and Logic Programming, 1992