2007 |
4 | EE | Alberto de la Encina,
Luis Llana,
Fernando Rubio,
Mercedes Hidalgo-Herrero:
Observing intermediate structures in a parallel lazy functional language.
PPDP 2007: 109-120 |
2006 |
3 | EE | Alberto de la Encina,
Luis Llana,
Fernando Rubio:
Introducing Debugging Capabilities to Natural Semantics.
Ershov Memorial Conference 2006: 195-208 |
2005 |
2 | EE | Alberto Verdejo,
Narciso Martí-Oliet,
Tomás Robles,
Joaquín Salvachúa,
Luis Llana,
Margarita Bradley:
Transforming Information in RDF to Rewriting Logic.
FMOODS 2005: 227-242 |
1 | EE | Alberto de la Encina,
Luis Llana,
Fernando Rubio:
Formalizing the Debugging Process in Haskell.
ICTAC 2005: 211-226 |