Publicaciones en las que colabora con RICARDO VICENTE PEÑA MARÍ (6)

2003

  1. Comparing Parallel Functional Languages: Programming and Performance

    Higher-Order and Symbolic Computation, Vol. 16, Núm. 3, pp. 203-251

2001

  1. Adding traces to a lazy monadic evaluator

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Parallel functional programming at two levels of abstraction

    Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

1996

  1. A new look at pattern matching in abstract data types

    SIGPLAN Notices (ACM Special Interest Group on Programming Languages), Vol. 31, Núm. 6, pp. 110-121

  2. New look at pattern matching in abstract data types

    Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

1995

  1. A second year course on data structures based on functional programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)