Ricardo Pena
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1996–2008
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | PPDP | A type system for safe memory management and its proof of correctness. | Manuel Montenegro, Ricardo Pena, Clara Segura |
| 2003 | PPDP | Formally deriving an STG machine. | Alberto de la Encina, Ricardo Pena |
| 2001 | PPDP | Parallel Functional Programming at Two Levels of Abstraction. | Ricardo Pena, Fernando Rubio |
| 1997 | HIPS | The Eden Coordination Model for Distributed Memory Systems. | Silvia Breitinger, Rita Loogen, Yolanda Ortega-Malln, Ricardo Pena |
| 1996 | ICFP | A New Look to Pattern Matching in Abstract Data Types. | Pedro Palao-Gostanza, Ricardo Pena, Manuel Nez |