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
Parallel functional programming in Eden
R Loogen, Y Ortega-Mallén, R Peña-Marí
Journal of Functional Programming 15 (3), 431-476, 2005
2212005
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
1252003
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
1212003
DISENO DE PROGRAMAS: FORMALISMOS Y ABSTRACION
RP Marí
Prentice Hall, 1998
1191998
DISENO DE PROGRAMAS: FORMALISMOS Y ABSTRACION
RP Marí
Prentice Hall, 1998
1191998
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
641997
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
572003
Eden--Language Definition and Operational Semantics
S Breitinger, R Loogen, Y Ortega-Mallén, R Pena
541998
Introducción a la programación funcional con Haskell
R Bird
Prentice Hall series in computer science, 2000
402000
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
341996
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
332008
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
331997
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
331996
Algorítmica: Concepción y análisis
G Brassard, P Bratley, RP Marí, CR Balanyá
Masson, 1990
311990
A sharing analysis for SAFE
R Pena, C Segura, M Montenegro
Trends in Functional Programming 7, 109-128, 2007
262007
A sharing analysis for SAFE
R Pena, C Segura, M Montenegro
Trends in Functional Programming 7, 109-128, 2007
262007
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
252009
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
252009
Parallel functional programming at two levels of abstraction
R Peña, F Rubio
Proceedings of the 3rd ACM SIGPLAN international conference on Principles …, 2001
232001
Implementing Eden—or: Dreams become reality
U Klusik, Y Ortega, R Pena
Symposium on Implementation and Application of Functional Languages, 103-119, 1998
231998
The system can't perform the operation now. Try again later.
Articles 1–20