Follow
RICARDO PEÑA MARI
RICARDO PEÑA MARI
Profesor de Informática, Universidad Complutense de Madrid
Verified email at sip.ucm.es - Homepage
Title
Cited by
Cited by
Year
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ...
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006
334*2006
Parallel functional programming in Eden
R Loogen, Y Ortega-Mallén, R Peña-Marí
Journal of Functional Programming 15 (3), 431-475, 2005
2352005
The In Vitro Mass-Produced Model Mycorrhizal Fungus, Rhizophagus irregularis, Significantly Increases Yields of the Globally Important Food Security Crop …
I Ceballos, M Ruiz, C Fernández, R Peña, A Rodríguez, IR Sanders
PLoS one 8 (8), e70633, 2013
2312013
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, 203-251, 2003
1312003
Diseño de programas: formalismo y abstracción
R Peña Marí
Diseño de programas: formalismo y abstracción, 1997
1311997
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
671997
Eden: Language definition and operational semantics
S Breitinger, R Loogen, Y Ortega-Mallén, R Pena
Technical Report 96–10, Phillips Universität Marburg, 1996
621996
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
592003
Introducción a la programación funcional con Haskell: Richard Bird; traducción, Ricardo Peña Marí; revisión técnica, María Alpuente Frasnedo, Salvador Lucas Alba
R Bird
Prentice Hall., 2001
432001
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
421996
A type system for safe memory management and its proof of correctness
M Montenegro, R Pena, C Segura
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
372008
Dream: The distributed eden abstract machine
S Breitinger, U Klusik, R Loogen, Y Ortega-Mallén, R Pena
Implementation of Functional Languages: 9th International Workshop, IFL'97 …, 1998
361998
De Euclides a Java: historia de los algoritmos y de los lenguajes de programación
RP Marí
Nivola, 2006
352006
Eden—the paradise of functional concurrent programming
S Breitinger, R Loogen, Y Ortega-Mallén, R Peña-Marí
Euro-Par'96 Parallel Processing: Second International Euro-Par Conference …, 1996
351996
Algorítmica: Concepción y análisis
G Brassard, P Bratley, R Peña Marí, C Rosselló Balanyá
Algorítmica: concepción y análisis, 1990
341990
A sharing analysis for SAFE
R Pena, C Segura, M Montenegro
Trends in Functional Programming 7, 109-128, 2007
312007
A simple region inference algorithm for a first-order functional language
M Montenegro, R Pena, C Segura
International Workshop on Functional and Constraint Logic Programming, 145-161, 2009
302009
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-94, 2009
292009
An inference algorithm for guaranteeing safe destruction
M Montenegro, R Pena, C Segura
Logic-Based Program Synthesis and Transformation: 18th International …, 2009
242009
Parallel functional programming at two levels of abstraction
R Pena, F Rubio
Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001
242001
The system can't perform the operation now. Try again later.
Articles 1–20