![]() | ![]() |
2001 | ||
---|---|---|
4 | EE | Maria Teresa Hortalá-González, Eva Ullán: An Abstract Machine Based System for a Lazy Narrowing Calculus. FLOPS 2001: 216-232 |
2000 | ||
3 | Maria Teresa Hortalá-González, Eva Ullán: An abstract machine based experimental system for a lazy narrowing calculus. WFLP 2000: 525-540 | |
1996 | ||
2 | Puri Arenas-Sánchez, Maria Teresa Hortalá-González, Francisco Javier López-Fraguas, Eva Ullán: Real Constraints within a Functional Logic Language. APPIA-GULP-PRODE 1996: 451-464 | |
1995 | ||
1 | Eva Ullán: Lazy Narrowing on an Abstract Machine by Means of Examples. GULP-PRODE 1995: 359-370 |
1 | Puri Arenas (Puri Arenas-Sánchez) | [2] |
2 | Maria Teresa Hortalá-González | [2] [3] [4] |
3 | Francisco Javier López-Fraguas | [2] |