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

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)

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)