José Luis Freire-Nistal

According to our database, José Luis Freire-Nistal authored at least 19 papers between 1990 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

On the Confluence of the Graphic Calculus with Penrose Diagrams (I).

José Luis Freire-Nistal, Antonio Blanco Ferro, J. M. Molinelli Barba, Enrique Freire Brañas

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2009

Certifying properties of an efficient functional program for computing Gröbner bases.

J. Santiago Jorge, Víctor M. Gulías, José Luis Freire

J. Symb. Comput., 2009

The Foldl Operator as a Coequalizer Using Coq.

Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París

Proceedings of the Computer Aided Systems Theory, 2009

2007

On the Representation of Imperative Programs in a Logical Framework.

José Luis Freire-Nistal, Enrique Freire Brañas, Antonio Blanco Ferro, David Cabrero Souto

Proceedings of the Computer Aided Systems Theory, 2007

Using Coq to Understand Nested Datatypes.

Antonio Blanco, J. E. Freire, José Luis Freire

Proceedings of the Computer Aided Systems Theory, 2007

2005

VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming.

Víctor M. Gulías, Miguel Barreiro, José Luis Freire

J. Funct. Program., 2005

Towards a Certified and Efficient Computing of Gröbner Bases.

J. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez

Proceedings of the Computer Aided Systems Theory, 2005

On Recursive Functions and Well-Founded Relations in the Calculus of Constructions.

José Luis Freire, Enrique Freire Brañas, Antonio Blanco

Proceedings of the Computer Aided Systems Theory, 2005

2003

On the Strong Co-induction in Coq.

José Luis Freire-Nistal, Antonio Blanco Ferro, Víctor M. Gulías, José E. Freire Brañas

Proceedings of the Computer Aided Systems Theory, 2003

Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel.

Carlos Abalde, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez, J. García-Tizón

Proceedings of the Computer Aided Systems Theory, 2003

2001

Fusion in Coq.

José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas

Proceedings of the Computer Aided Systems Theory, 2001

1997

An Automatic Calculator with Penrose Diagrams.

José María Molinelli, José María Barja, Antonio Blanco, José Luis Freire

Proceedings of the Computer Aided Systems Theory, 1997

From Sequential to Distributed Formal Proofs.

Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire

Proceedings of the Computer Aided Systems Theory, 1997

Transport Primitives for Functional Agents.

Víctor M. Gulías, Juan J. Quintela, José Luis Freire

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales.

José Luis Freire, Víctor M. Gulías, Xesús M. López

Proceedings of the I Jornadas de Investigación y Docencia en Bases de Datos, 1996

Towards High-Order Distribution in Functional Languages.

Víctor M. Gulías, Juan J. Quintela, José Luis Freire

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Extending CAML Light to Perform Distributed Computation.

José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos.

José Luis Freire, Víctor M. Gulías, J. M. Molinelli

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1990

Naturality of the conditional and the recursion.

José Luis Freire-Nistal, Aguado F. Martín

Int. J. Comput. Math., 1990