![Foto de FRANCISCO JAVIER](/img/nophoto.png)
FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
Publicacions (45) Publicacions de FRANCISCO JAVIER LÓPEZ FRAGUAS
2020
-
Deriving overloaded success type schemes in Erlang
Journal of Computer Languages, Vol. 58
2018
-
Polymorphic success types for erlang
EPiC Series in Computing
2016
-
Polymorphic types in erlang function specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
A liberal type system for functional logic programs
Mathematical Structures in Computer Science
2014
-
Rewriting and narrowing for constructor systems with call-time choice semantics
Theory and Practice of Logic Programming, Vol. 14, Núm. 2, pp. 165-213
-
Safe typing of functional logic programs with opaque patterns and local bindings
Information and Computation, Vol. 235, pp. 36-69
2013
-
Typing as functional-logic evaluation
PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013
2012
-
Well-typed narrowing with extra variables in functional-logic programming
Conference Record of the Annual ACM Symposium on Principles of Programming Languages
2010
-
A complete axiomatization of strict equality
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Liberal typing for functional logic programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
New results on type systems for functional logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009
-
A flexible framework for programming with non-deterministic functions
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09
-
A fully abstract semantics for constructor systems
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
-
A fully abstract semantics for constructor systems
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Advances in type systems for functional-logic programming
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
-
Narrowing for first order functional logic programs with call-time choice semantics
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
PPDP09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming: Foreword
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
-
The full abstraction problem for higher order functional-logic programs
19th Workshop on Logic-based methods in Programming Environments, WLPE 2009
2008
-
A lightweight combination of semantics for non-deterministic functions
18th Workshop on Logic-based methods in Programming Environments, WLPE 2008
-
Rewriting and call-time choice: The HO case
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)