Francisco 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
Extra Variables Can Be Eliminated from Functional Logic Programs	2013-12-20	Paper
Equivalence of Two Formal Semantics for Functional Logic Programs	2013-12-20	Paper
Semantic Determinism and Functional Logic Program Properties	2013-12-06	Paper
https://portal.mardi4nfdi.de/entity/Q2849854	2013-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q2844060	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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