Francisco Javier Lpez-Fraguas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
7
Active years
1992–2018
Best venue rank
National
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | LPAR | Polymorphic success types for Erlang. | Francisco Javier Lpez-Fraguas, Manuel Montenegro, Gorka Surez-Garca |
| 2016 | FLOPS | Polymorphic Types in Erlang Function Specifications. | Francisco Javier Lpez-Fraguas, Manuel Montenegro, Juan Rodrguez-Hortal |
| 2013 | PEPM | Typing as functional-logic evaluation. | Francisco Javier Lpez-Fraguas, Enrique Martin-Martin |
| 2012 | PEPM | Well-typed narrowing with extra variables in functional-logic programming. | Francisco Javier Lpez-Fraguas, Enrique Martin-Martin, Juan Rodrguez-Hortal |
| 2010 | APLAS | Liberal Typing for Functional Logic Programs. | Francisco Javier Lpez-Fraguas, Enrique Martin-Martin, Juan Rodrguez-Hortal |
| 2010 | FLOPS | A Complete Axiomatization of Strict Equality. | Javier lvez, Francisco Javier Lpez-Fraguas |
| 2009 | PEPM | A flexible framework for programming with non-deterministicfunctions. | Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez |
| 2008 | FLOPS | Rewriting and Call-Time Choice: The HO Case. | Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez |
| 2007 | PPDP | A simple rewrite notion for call-time choice semantics. | Francisco Javier Lpez-Fraguas, Juan Rodrguez-Hortal, Jaime Snchez-Hernndez |
| 2004 | PPDP | A logic programming approach to the verification of functional-logic programs. | Jos Miguel Cleva, Javier Leach, Francisco Javier Lpez-Fraguas |
| 2004 | PPDP | A lazy narrowing calculus for declarative constraint programming. | Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo, Rafael del Vado Vrseda |
| 2002 | FLOPS | Dynamic-Cut with Definitional Trees. | Rafael Caballero, Francisco Javier Lpez-Fraguas |
| 2002 | FLOPS | Narrowing Failure in Functional Logic Programming. | Francisco Javier Lpez-Fraguas, Jaime Snchez-Hernndez |
| 2001 | FLOPS | Theoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs. | Rafael Caballero, Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo |
| 2001 | LPAR | Functional Logic Programming with Failure: A Set-Oriented View. | Francisco Javier Lpez-Fraguas, Jaime Snchez-Hernndez |
| 1999 | FLOPS | A Functional-Logic Perspective on Parsing. | Rafael Caballero, Francisco Javier Lpez-Fraguas |
| 1999 | PPDP | Functional Plus Logic Programming with Built-In and Symbolic Constraints. | Puri Arenas-Snchez, Francisco Javier Lpez-Fraguas, Mario Rodrguez-Arteljo |
| 1996 | ESOP | A Rewriting Logic for Declarative Programming. | Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Francisco Javier Lpez-Fraguas, Mario Rodrguez-Artalejo |
| 1992 | ICLP | Implementing a Lazy Functional Logic Language with Disequality Constraints. | Herbert Kuchen, Francisco Javier Lpez-Fraguas, Juan Jos Moreno-Navarro, Mario Rodrguez-Artalejo |