Toggle navigation
Labra's home page
Home
Publications
Posts
Projects
Teaching
Talks
Other
Contact
Functional-programming
Inductive Representations of RDF Graphs
A Formal Method for program Slicing
A Generic e-Learning Multiparadigm Programming Language System: IDEFIX Project
Plataforma de enseñanza de lenguajes de programación a través de Internet: Proyecto IDEFIX
Modular development of Language Processors from Reusable Semantic Specifications
An Implementation of Modular Monadic Semantics using Folds and Monadic Folds
Harmony: a functional system for musical composition