Publications (5)

2007

  1. CGR: A tool for programming using schemes

    Proceedings - International Computer Software and Applications Conference

2001

  1. 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

  1. 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)

  2. 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

  1. 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