1996 | ||
---|---|---|
4 | Juan José Moreno-Navarro, Julio Mariño, A. del Pozo-Pietro, Ángel Herranz-Nieva, Julio García-Martín: Adding Type Classes to Functional-Logic Languages. APPIA-GULP-PRODE 1996: 427-438 | |
1995 | ||
3 | Juan José Moreno-Navarro, Julio García-Martín, A. del Pozo-Pietro: Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. GULP-PRODE 1995: 593-606 | |
1993 | ||
2 | Julio García-Martín, Juan José Moreno-Navarro: Visualization as Debugging: Understanding/Debugging the Warren Abstract Machine. AADEBUG 1993: 255-272 | |
1 | Julio García-Martín, Juan José Moreno-Navarro: A Formal Definition of an Abstract Prolog Compiler (Extended Abstract). AMAST 1993: 367-376 |
1 | Ángel Herranz-Nieva | [4] |
2 | Julio Mariño-Carballo (Julio Mariño) | [4] |
3 | Juan José Moreno-Navarro | [1] [2] [3] [4] |
4 | A. del Pozo-Pietro | [3] [4] |