José Luis Freire

16 papers Journal 2Unranked 13
YearRankTypeTitle / Venue / Authors
2009 J jnl
Certifying properties of an efficient functional program for computing Gröbner bases.
J. Symb. Comput.
J. Santiago Jorge, Víctor M. Gulías, José Luis Freire
2009 — conf
The Foldl Operator as a Coequalizer Using Coq.
EUROCAST
Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París
2007 — conf
Using Coq to Understand Nested Datatypes.
EUROCAST
Antonio Blanco, J. E. Freire, José Luis Freire
2005 — conf
On Recursive Functions and Well-Founded Relations in the Calculus of Constructions.
EUROCAST
José Luis Freire, Enrique Freire Brañas, Antonio Blanco
2005 — conf
Towards a Certified and Efficient Computing of Gröbner Bases.
EUROCAST
J. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez
2005 J jnl
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming.
J. Funct. Program.
Víctor M. Gulías, Miguel Barreiro, José Luis Freire
2003 — conf
Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel.
EUROCAST
Carlos Abalde, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez, J. García-Tizón
2001 — ed.
Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers
EUROCAST
Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire
2001 — conf
Fusion in Coq.
EUROCAST
José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas
1997 — conf
An Automatic Calculator with Penrose Diagrams.
EUROCAST
José María Molinelli, José María Barja, Antonio Blanco, José Luis Freire
1997 — conf
From Sequential to Distributed Formal Proofs.
EUROCAST
Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire
1997 — conf
Transport Primitives for Functional Agents.
APPIA-GULP-PRODE
Víctor M. Gulías, Juan J. Quintela, José Luis Freire
1996 — conf
Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales.
JIDBD
José Luis Freire, Víctor M. Gulías, Xesús M. López
1996 — conf
Towards High-Order Distribution in Functional Languages.
APPIA-GULP-PRODE
Víctor M. Gulías, Juan J. Quintela, José Luis Freire
1995 — conf
Extending CAML Light to Perform Distributed Computation.
GULP-PRODE
José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías
1994 — conf
Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos.
GULP-PRODE (2)
José Luis Freire, Víctor M. Gulías, J. M. Molinelli