Travelled to:
1 × Hungary
1 × Taiwan
2 × United Kingdom
Collaborated with:
M.Hidalgo-Herrero U.Klusik R.Peña D.d.Frutos-Escrig L.Sánchez-Gil F.Rubio S.Breitinger R.Loogen
Talks about:
function (3) space (2) dream (2) eden (2) implement (1) strategi (1) parallel (1) abstract (1) resourc (1) realiti (1)
Person: Yolanda Ortega-Mallén
DBLP: Ortega-Mall=eacute=n:Yolanda
Contributed to:
Wrote 5 papers:
- SAC-2011-Sanchez-GilHO
- Relating function spaces to resourced function spaces (LSG, MHH, YOM), pp. 1301–1308.
- IFL-2006-Hidalgo-HerreroOR #evaluation #functional #parallel
- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages (MHH, YOM, FR), pp. 55–72.
- IFL-1998-KlusikOP #implementation
- Implementing Eden — or: Dreams Become Reality (UK, YOM, RP), pp. 103–119.
- IFL-1997-BreitingerKLOP #automaton #distributed #named
- DREAM: The DistRibuted Eden Abstract Machine (SB, UK, RL, YOM, RP), pp. 250–269.
- CAAP-1991-Ortega-MallenF #proving
- A Complete Proof System for Timed Observations (YOM, DdFE), pp. 412–440.