Collaborated with:G.Pabón J.M.Piquer D.Caromel L.Henrio
Talks about:algorithm (3) skeleton (3) skandium (1) program (1) control (1) invers (1) tackl (1) multi (1) type (1) safe (1)
Person: Mario Leyton
DBLP: Leyton:Mario
Contributed to:
201220102008Wrote 3 papers:
- PDP-2012-PabonL #algorithm
- Tackling Algorithmic Skeleton’s Inversion of Control (GP, ML), pp. 42–46.
- PDP-2010-LeytonP #algorithm #manycore #named #programming
- Skandium: Multi-core Programming with Algorithmic Skeletons (ML, JMP), pp. 289–296.
- PDP-2008-CaromelHL #algorithm #type safety
- Type Safe Algorithmic Skeletons (DC, LH, ML), pp. 45–53.