Parallel functional programming in Eden R Loogen, Y Ortega-Mallén, R Peña-Marí Journal of Functional Programming 15 (3), 431-476, 2005 | 221 | 2005 |

Comparing parallel functional languages: Programming and performance HW Loidl, F Rubio, N Scaife, K Hammond, S Horiguchi, U Klusik, ... Higher-Order and Symbolic Computation 16 (3), 203-251, 2003 | 125 | 2003 |

Comparing parallel functional languages: Programming and performance HW Loidl, F Rubio, N Scaife, K Hammond, S Horiguchi, U Klusik, ... Higher-Order and Symbolic Computation 16 (3), 203-251, 2003 | 121 | 2003 |

DISENO DE PROGRAMAS: FORMALISMOS Y ABSTRACION RP Marí Prentice Hall, 1998 | 119 | 1998 |

DISENO DE PROGRAMAS: FORMALISMOS Y ABSTRACION RP Marí Prentice Hall, 1998 | 119 | 1998 |

The Eden coordination model for distributed memory systems S Breitinger, R Loogen, Y Ortega-Mallén, R Pena Proceedings Second International Workshop on High-Level Parallel Programming …, 1997 | 64 | 1997 |

Parallelism abstractions in Eden R Loogen, Y Ortega, R Peña, S Priebe, F Rubio Patterns and Skeletons for Parallel and Distributed Computing, 95-128, 2003 | 57 | 2003 |

Eden--Language Definition and Operational Semantics S Breitinger, R Loogen, Y Ortega-Mallén, R Pena | 54 | 1998 |

Introducción a la programación funcional con Haskell R Bird Prentice Hall series in computer science, 2000 | 40 | 2000 |

Eden—the paradise of functional concurrent programming S Breitinger, R Loogen, Y Ortega-Mallén, R Peña-Marí European Conference on Parallel Processing, 710-713, 1996 | 34 | 1996 |

A type system for safe memory management and its proof of correctness M Montenegro, R Peña, C Segura Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008 | 33 | 2008 |

Dream: The distributed eden abstract machine S Breitinger, U Klusik, R Loogen, Y Ortega-Mallén, R Pena Symposium on Implementation and Application of Functional Languages, 250-269, 1997 | 33 | 1997 |

A new look at pattern matching in abstract data types P Palao Gostanza, R Pena, M Núnez ACM SIGPLAN Notices 31 (6), 110-121, 1996 | 33 | 1996 |

Algorítmica: Concepción y análisis G Brassard, P Bratley, RP Marí, CR Balanyá Masson, 1990 | 31 | 1990 |

A sharing analysis for SAFE R Pena, C Segura, M Montenegro Trends in Functional Programming 7, 109-128, 2007 | 26 | 2007 |

A sharing analysis for SAFE R Pena, C Segura, M Montenegro Trends in Functional Programming 7, 109-128, 2007 | 26 | 2007 |

A simple region inference algorithm for a first-order functional language M Montenegro, R Peña, C Segura International Workshop on Functional and Constraint Logic Programming, 145-161, 2009 | 25 | 2009 |

From natural semantics to C: A formal derivation of two STG machines A De La Encina, R Pena Journal of Functional Programming 19 (1), 47, 2009 | 25 | 2009 |

Parallel functional programming at two levels of abstraction R Peña, F Rubio Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001 | 23 | 2001 |

Implementing Eden—or: Dreams become reality U Klusik, Y Ortega, R Pena Symposium on Implementation and Application of Functional Languages, 103-119, 1998 | 23 | 1998 |