( en | de | ru )

 

Disambiguation of "Freire, José Luis"

Author of the publication

copydeleteadd this publication to your clipboard
The Foldl Operator as a Coequalizer Using Coq.

, , , and . EUROCAST, volume 5717 of Lecture Notes in Computer Science, page 167-176. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

José Luis Morote

José Luis Goity

José Luis Rivarola

José Luis Narro

Luis José Garcés

 

Other publications of authors with the same name

VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming., , and . J. Funct. Program., 15 (3): 403-430 (2005)Transport Primitives for Functional Agents., , and . APPIA-GULP-PRODE, page 501-510. (1997)Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel., , , , and . EUROCAST, volume 2809 of Lecture Notes in Computer Science, page 220-230. Springer, (2003)Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales., , and . JIDBD, page 250-259. Universidade da Coruña, Facultade de Informática, (1996)Fusion in Coq., , , and . EUROCAST, volume 2178 of Lecture Notes in Computer Science, page 583-596. Springer, (2001)From Sequential to Distributed Formal Proofs., , , and . EUROCAST, volume 1333 of Lecture Notes in Computer Science, page 501-513. Springer, (1997)Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos., , and . GULP-PRODE (2), page 351-365. (1994)Towards a Certified and Efficient Computing of Gröbner Bases., , , and . EUROCAST, volume 3643 of Lecture Notes in Computer Science, page 111-120. Springer, (2005)An Automatic Calculator with Penrose Diagrams., , , and . EUROCAST, volume 1333 of Lecture Notes in Computer Science, page 252-269. Springer, (1997)Towards High-Order Distribution in Functional Languages., , and . APPIA-GULP-PRODE, page 219-232. (1996)