Travelled to:1 × Spain
1 × The Netherlands
Collaborated with:K.Hammond H.Loidl P.B.Vasconcelos
Talks about:algorithm (1) skeleton (1) automat (1) analysi (1) haskel (1) infer (1) time (1) skel (1) size (1) hask (1)
Person: Álvaro J. Rebón Portillo
DBLP: Portillo:=Aacute=lvaro_J=_Reb=oacute=n
Contributed to:
20021999Wrote 2 papers:
- IFL-2002-PortilloHLV #automation #cost analysis #using
- Cost Analysis Using Automatic Size and Time Inference (ÁJRP, KH, HWL, PBV), pp. 232–248.
- IFL-1999-HammondP #algorithm #haskell #named
- HaskSkel: Algorithmic Skeletons in Haskell (KH, ÁJRP), pp. 181–198.