Travelled to:1 × Estonia
1 × Germany
1 × Italy
1 × Portugal
2 × USA
Collaborated with:M.Viera J.P.Fernandes J.Saraiva F.Domínguez ∅ B.Martinez M.G.Hahn R.Motz M.A.Musicante J.Cunha Emmanuel Gunther M.Pagano
Talks about:shortcut (3) program (3) fusion (3) circular (2) languag (2) extens (2) compil (2) rule (2) internalist (1) intension (1)
Person: Alberto Pardo
DBLP: Pardo:Alberto
Facilitated 1 volumes:
EdContributed to:
2013
2013
20112009
2006
2004
2015
2007
2018Wrote 9 papers:
- PEPM-2013-MartinezVP #compilation #exclamation #haskell #performance
- Just do it while compiling!: fast extensible records in haskell (BM, MV, AP), pp. 77–86.
- SAC-2013-HahnMPM #composition #semantics #web #web service
- Formal semantics and expressiveness of a web service composition language (MGH, RM, AP, MAM), pp. 1667–1673.
- LDTA-2011-DominguezP #algebra
- Exploiting algebra/coalgebra duality for program fusion extensions (FD, AP), p. 6.
- PEPM-2009-PardoFS #higher-order #monad #source code
- Shortcut fusion rules for the derivation of circular and higher-order monadic programs (AP, JPF, JS), pp. 81–90.
- GPCE-2006-VieraP #analysis #multi
- A multi-stage language with intensional analysis (MV, AP), pp. 11–20.
- AFP-2004-Pardo04 #data type
- Combining Datatypes and Effects (AP), pp. 171–209.
- CEFP-2015-FernandesCSP #deforestation #exclamation #tutorial
- Watch Out for that Tree! A Tutorial on Shortcut Deforestation (JPF, JC, JS, AP), pp. 1–41.
- Haskell-2007-FernandesPS
- A shortcut fusion rule for circular program calculation (JPF, AP, JS), pp. 95–106.
- PPDP-2018-PardoGPV #approach #compilation
- An Internalist Approach to Correct-by-Construction Compilers (AP, EG, MP, MV), p. 12.