![Foto de ANA](/img/nophoto.png)
ANA
GIL LUEZAS
Investigadora ata 2021
Publicacións (5) Publicacións de ANA GIL LUEZAS
2007
-
CGR: A tool for programming using schemes
Proceedings - International Computer Software and Applications Conference
2001
-
A Demand Driven Strategy for Lazy Narrowing with Multisets
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
1989
-
Un estudio sobre la expresividad en lenguajes de programación funcionales
Lenguajes naturales y lenguajes formales : actas del IV congreso de lenguajes naturales y lenguajes formales : (Lleida, 19-23 de septiembre de 1988)
-
Un estudio sobre la expresividad en lenguajes de programación funcionales
Lenguajes naturales y lenguajes formales IV: vol 2. (Facultat de Filologia), pp. 645-656
1987
-
Un sistema de verificación para lenguajes de programación tipo funcional
XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987