Francisco Adolfo Cifuentes Silva,
Christian Sifaqui,
José Emilio Labra Gayo:
Towards an architecture and adoption process for linked data technologies in open government contexts: a case study for the Library of Congress of Chile.
I-SEMANTICS 2011: 79-86
Slides
Mailing lists meet the semantic web,
Sergio Fernández, Diego Berrueta, Jose E. Labra G.,
Workshop on Social Aspects of the Semantic Web (SAW 2007), Poznan, Poland, April 2007
A monadic program slicer,
Yingzhou Zhang, Jose E. Labra G., Agustín Cernuda del Río,
ACM SIGPLAN Notices, 41 (5), pp. 30-38, May 2006
A Language Prototyping Tool based on Semantic Building Blocks
,
Jose E. Labra,
Juan M. Cueva L.,
M. Candida Luengo D.,
Martín González R.,
Functional Programming Workshop at EUROCAST 2001,
Las Palmas de Gran Canaria,
Canary Islands, Spain,
February 19-23, 2001
Lecture Notes in Computer Science, Springer-Verlag.
PDF Version.
Modular Development of Interpreters from Semantic Building Blocks
, Jose E. Labra, Juan M. Cueva L., M. Candida Luengo D.,
The 12th Nordic Workshop on Programming Theory, Bergen-Norway,
October 11-13, 2000
Intérpretes y Diseño de Lenguajes de Programación,
Jose Emilio Labra Gayo, Juan Manuel Cueva Lovelle, Raúl Izquierdo Castanedo, Aquilino A. Juan Fuente,
M. Candida Luengo, Francisco Ortín. Cuaderno Didáctico, Ed. Servitec
It is a revision of the paper "An Implementation of MMS using Folds and
Monadic folds" presented at Braga with more emphasis on the language
prototyping system
Course notes for the first part of the "
Logic" course I teach.
Ejercicios de Lógica Informática.
Jose E. Labra G., Ana I. Fernández M.
Cuaderno Didáctico
Num. 9, Ed. Servitec, ISBN: 84-8416-357-1, Oct. 1998 (3rd Edition)
More than 300 test questions and more than 100 "a desarrollar"
questions collected from the examinations of the
"Logic"
course I teach.
Desarrollo de Compiladores en un Sistema Integral
Orientado a Objetos
M. C. Luengo D., J. E. Labra G. F.
Domínguez M. A. Pérez, N. García, J. M.
Cueva L. V Congreso Internacional de Investigación en
Ciencias Computacionales. Aguascalientes, Mexico, 1998
Presents an application of folds and monadic folds to the
development of modular interpreters.
Harmony: a functional system for musical composition.
Jose E. Labra G., Juan Manuel Cueva L.,
L. A. Oliveira R.
II Conferencia Latinoamericana de Programación Funcional.
Octubre 1997, Univ. nac. de La Plata, Argentina.
Presents a musical composition system developed by some students
as part of their final year project. The kernel of the system
was developed in Haskell (Haskore) and I pretend to develop a
complete system for musical composition in Haskell.
In this moment I am looking for more students who want to
continue the project.
Course notes for the
"
Logic and Functional Programming"
course. It is mainly a summary of
"The Gentle Introduction to Haskell" in spanish.
Lógica de Predicados de Primer Orden.
Bases teóricas de las Técnicas
de Demostración Automática.
Jose E. Labra G.
Cuaderno Didáctico 77.
Depto. de Matemáticas. Universidad de Oviedo. Dic. 93
These are the course notes for the second part of the
course "Logic".
It contains an appendix with a lot of exercises with their
solutions.
Simulación del Entorno Operativo Unix.
J. E. Labra G.,
O. González Alonso,
M. Riesco Albizu. Cuaderno
Didáctico 39, Depto. de Matemáticas,
Universidad de Oviedo (Mar. 1991)
This is a published version of my Final Year Project for the
EUITIO. It presented a system the emulates the Unix
Operating environment (its shell and some commands) in
Ms-Dos. It was implemented in C.