Publications (45) FRANCISCO JAVIER LÓPEZ FRAGUAS publications

2020

  1. Deriving overloaded success type schemes in Erlang

    Journal of Computer Languages, Vol. 58

2018

  1. Polymorphic success types for erlang

    EPiC Series in Computing

2016

  1. Polymorphic types in erlang function specifications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2015

  1. A liberal type system for functional logic programs

    Mathematical Structures in Computer Science

2014

  1. 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

  2. Safe typing of functional logic programs with opaque patterns and local bindings

    Information and Computation, Vol. 235, pp. 36-69

2013

  1. 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

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

    Conference Record of the Annual ACM Symposium on Principles of Programming Languages

2010

  1. A complete axiomatization of strict equality

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Liberal typing for functional logic programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. 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

  1. A flexible framework for programming with non-deterministic functions

    Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09

  2. A fully abstract semantics for constructor systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. 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

  4. 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

  5. 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)

  6. 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

  7. The full abstraction problem for higher order functional-logic programs

    19th Workshop on Logic-based methods in Programming Environments, WLPE 2009

2008

  1. A lightweight combination of semantics for non-deterministic functions

    18th Workshop on Logic-based methods in Programming Environments, WLPE 2008

  2. 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)