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: Magalh=atilde=es:Jos=eacute=_Pedro
Contributed to:
2014
2014
2014
2012
201220112010
2008
2010Wrote 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.