José Luis Freire

Publication Activity (10 Years)

Years Active: 1994-2009
Publications (10 Years): 0

Publications

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