José Luis Freire-Nistal

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2011
On the Confluence of the Graphic Calculus with Penrose Diagrams (I).
Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2009
Certifying properties of an efficient functional program for computing Gröbner bases.
J. Symb. Comput., 2009

The Foldl Operator as a Coequalizer Using Coq.
Proceedings of the Computer Aided Systems Theory, 2009

2007
On the Representation of Imperative Programs in a Logical Framework.
Proceedings of the Computer Aided Systems Theory, 2007

Using Coq to Understand Nested Datatypes.
Proceedings of the Computer Aided Systems Theory, 2007

2005
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming.
J. Funct. Program., 2005

Towards a Certified and Efficient Computing of Gröbner Bases.
Proceedings of the Computer Aided Systems Theory, 2005

On Recursive Functions and Well-Founded Relations in the Calculus of Constructions.
Proceedings of the Computer Aided Systems Theory, 2005

2003
On the Strong Co-induction in Coq.
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.
Proceedings of the Computer Aided Systems Theory, 2003

2001
Fusion in Coq.
Proceedings of the Computer Aided Systems Theory, 2001

1997
An Automatic Calculator with Penrose Diagrams.
Proceedings of the Computer Aided Systems Theory, 1997

From Sequential to Distributed Formal Proofs.
Proceedings of the Computer Aided Systems Theory, 1997

Transport Primitives for Functional Agents.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales.
Proceedings of the I Jornadas de Investigación y Docencia en Bases de Datos, 1996

Towards High-Order Distribution in Functional Languages.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Extending CAML Light to Perform Distributed Computation.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1990
Naturality of the conditional and the recursion.
Int. J. Comput. Math., 1990


  Loading...