Antonio Blanco

Publication Activity (10 Years)

Years Active: 1997-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)
José A. García, Roi Blanco, Antonio Blanco, Javier París
A Comparative Performance Evaluation of Different Implementations of the SOAP Protocol. ECOWS (2007)
Antonio Blanco, J. E. Freire, José Luis Freire
Using Coq to Understand Nested Datatypes. EUROCAST (2007)
José Luis Freire, Enrique Freire Brañas, Antonio Blanco
On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. EUROCAST (2005)
José María Molinelli, José María Barja, Antonio Blanco, José Luis Freire
An Automatic Calculator with Penrose Diagrams. EUROCAST (1997)