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 × Denmark
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × Japan
2 × USA
Collaborated with:
A.Löh J.Jeuring B.d.Haas M.D.Adams A.Farmer D.Vytiniotis S.L.P.Jones N.Wu J.Bransen W.Swierstra S.Holdermans S.Leather A.R.Yakushev A.Dijkstra
Talks about:
generic (7) program (4) report (2) haskel (2) experi (2) optim (2) easi (2) function (1) paramet (1) optimis (1)

Person: José Pedro Magalhães

DBLP DBLP: Magalh=atilde=es:Jos=eacute=_Pedro

Contributed to:

FLOPS 20142014
PADL 20142014
PEPM 20142014
ICFP 20122012
IFL 20122012
ICFP 20112011
PEPM 20102010
AFP 20082008
Haskell 20102010

Wrote 10 papers:

FLOPS-2014-Magalhaes #multi #parametricity #programming
Generic Programming with Multiple Parameters (JPM), pp. 136–151.
PADL-2014-MagalhaesL #programming
Generic Generic Programming (JPM, AL), pp. 216–231.
PEPM-2014-AdamsFM #exclamation #optimisation #scrap your boilerplate
Optimizing SYB is easy! (MDA, AF, JPM), pp. 71–82.
ICFP-2012-VytiniotisJM #compilation #fault #proving #similarity
Equality proofs and deferred type errors: a compiler pearl (DV, SLPJ, JPM), pp. 341–352.
IFL-2012-Magalhaes #optimisation #source code
Optimisation of Generic Programs Through Inlining (JPM), pp. 104–121.
IFL-2012-WuMBS #case study #experience #lazy evaluation #mining
Pure and Lazy λ Mining — An Experience Report (NW, JPM, JB, WS), pp. 207–223.
ICFP-2011-MagalhaesH #case study #experience #functional #modelling
Functional modelling of musical harmony: an experience report (JPM, BdH), pp. 156–162.
PEPM-2010-MagalhaesHJL #exclamation #optimisation
Optimizing generics is easy! (JPM, SH, JJ, AL), pp. 33–42.
AFP-2008-JeuringLMY08 #haskell #library #programming
Libraries for Generic Programming in Haskell (JJ, SL, JPM, ARY), pp. 165–229.
Haskell-2010-MagalhaesDJL #haskell
A generic deriving mechanism for Haskell (JPM, AD, JJ, AL), pp. 37–48.

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.