BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pardo:Alberto

Facilitated 1 volumes:

SEFM 2011Ed

Contributed to:

PEPM 20132013
SAC 20132013
LDTA 20112011
PEPM 20092009
GPCE 20062006
AFP 20042004
CEFP 20152015
Haskell 20072007
PPDP 20182018

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.