Blas C. Ruiz

According to our database, Blas C. Ruiz authored at least 8 papers between 1994 and 2003.

Collaborative distances:

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

2003

Cut Elimination in a Class of Sequent Calculi for Pure Type Systems.

Francisco Gutiérrez, Blas C. Ruiz

Proceedings of the 10th Workshop on Logic, Language, Information and Computation, 2003

Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems.

Francisco Gutiérrez, Blas C. Ruiz

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

2002

Order Functional Pure Type Systems.

Francisco Gutiérrez, Blas C. Ruiz

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.

Francisco Gutiérrez, Blas C. Ruiz

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

1997

Inheritance and Selective Methods Dispatching in Concurrent Haskell.

José E. Gallardo, Francisco Gutiérrez, Blas C. Ruiz

Proceedings of the Programming Languages: Implementations, 1997

1996

Clasificacion de Objetos Funcionales en Entornos Concurrentes.

Blas C. Ruiz, José E. Gallardo, Pablo Guerrero, Francisco Gutiérrez

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

1995

Monadas para la Comunicacion de Objetos Funcionales.

José E. Gallardo, Pablo Guerrero, Blas C. Ruiz

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

Monadas y Procesos Funcionales Comunicantes.

José E. Gallardo, Pablo Guerrero, Blas C. Ruiz

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994