F. J. López-Fraguas

Available identifiers

zbMath Open lopez-fraguas.francisco-javierMaRDI QIDQ880983

List of research outcomes

Publication	Date of Publication	Type
Polymorphic success types for Erlang	2019-07-04	Paper
A liberal type system for functional logic programs	2016-07-27	Paper
Polymorphic Types in Erlang Function Specifications	2016-04-04	Paper
Rewriting and narrowing for constructor systems with call-time choice semantics	2014-04-17	Paper
Safe typing of functional logic programs with opaque patterns and local bindings	2014-03-13	Paper
Equivalence of two formal semantics for functional logic programs	2013-12-20	Paper
Extra variables can be eliminated from functional logic programs	2013-12-20	Paper
Semantic determinism and functional logic program properties	2013-12-06	Paper
Constraint functional logic programming revisited	2013-09-20	Paper
Failure and equality in functional logic programming	2013-08-27	Paper
Functional Logic Programming with Failure: A Set-Oriented View	2011-05-06	Paper
A Complete Axiomatization of Strict Equality	2010-05-04	Paper
New results on type systems for functional logic programming	2010-04-27	Paper
A Fully Abstract Semantics for Constructor Systems	2009-06-30	Paper
Rewriting and Call-Time Choice: The HO Case	2008-04-11	Paper
A new generic scheme for functional logic programming with constraints	2007-05-21	Paper
A proof theoretic approach to failure in functional logic programming	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4452126	2004-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q4409162	2003-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4409165	2003-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q2766773	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2767053	2002-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q2763637	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q2729927	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4494367	2000-08-10	Paper
An approach to declarative programming based on a rewriting logic	1999-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4281598	1994-03-10	Paper

Research outcomes over time

This page was built for person: F. J. López-Fraguas