Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
Publicaciones en las que colabora con RICARDO VICENTE PEÑA MARÍ (6)
2003
-
Comparing Parallel Functional Languages: Programming and Performance
Higher-Order and Symbolic Computation, Vol. 16, Núm. 3, pp. 203-251
2001
-
Adding traces to a lazy monadic evaluator
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Parallel functional programming at two levels of abstraction
Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming
1996
-
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
-
New look at pattern matching in abstract data types
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
1995
-
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)