@inproceedings{jpm:ghp:12,
 author = {Yorgey, Brent A. and Weirich, Stephanie and Cretin, Julien and 
           Peyton Jones, Simon and Vytiniotis, Dimitrios and
           Magalh\~aes, Jos\'e Pedro},
 title = {Giving {Haskell} a Promotion},
 booktitle = {Proceedings of the 8th ACM SIGPLAN workshop on Types in
              language design and implementation},
 series = {TLDI '12},
 year = {2012},
 location = {Philadelphia, PA, USA},
 pages = {53--66},
 doi = {10.1145/2103786.2103795},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{jpm:hihseufha:11,
  author = {De Haas, W. Bas and Magalh\~aes, Jos\'e Pedro and Veltkamp,
            Remco C. and Wiering, Frans},
  title = {HarmTrace: Improving Harmonic Similarity Estimation Using Functional
           Harmony Analysis},
  booktitle = {Proceeding of the 12th International Society for Music
               Information Retrieval Conference},
  series = {ISMIR '11},
  pages = {67--72},
  year = {2011},
}

@inproceedings{jpm:fmmh:11,
 author = {Magalh\~{a}es, Jos{\'e} Pedro and de Haas, W. Bas},
 title = {Functional modelling of musical harmony: an experience report},
 booktitle = {Proceeding of the 16th ACM SIGPLAN international conference on Functional programming},
 series = {ICFP '11},
 year = {2011},
 isbn = {978-1-4503-0865-6},
 location = {Tokyo, Japan},
 pages = {156--162},
 numpages = {7},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@inproceedings{jpm:gpif:11,
 author = {L\"{o}h, Andres and Magalh\~{a}es, Jos{\'e} Pedro},
 title = {Generic programming with indexed functors},
 booktitle = {Proceedings of the seventh ACM SIGPLAN workshop on Generic programming},
 series = {WGP '11},
 year = {2011},
 isbn = {978-1-4503-0861-8},
 location = {Tokyo, Japan},
 pages = {1--12},
 numpages = {12},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@inproceedings{jpm:gpid:11,
 author = {Magalh~aes, Jos\'e Pedro and Jeuring, Johan},
 title = {Generic programming for indexed datatypes},
 booktitle = {Proceedings of the seventh ACM SIGPLAN workshop on Generic programming},
 series = {WGP '11},
 year = {2011},
 isbn = {978-1-4503-0861-8},
 location = {Tokyo, Japan},
 pages = {37--46},
 numpages = {10},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@techreport{jpm:hafhatr:11,
  author = {De Haas, W. Bas and Magalh\~aes, Jos\'e Pedro and Wiering, Frans and
  Veltkamp, Remco C.},
  title = {HarmTrace: Automatic Functional Harmonic Analysis},
  institution = {Department of Information and Computing Sciences, Utrecht University},
  number = {UU-CS-2011-023},
  pubcat = {techreport},
  year = {2011},
}

@techreport{jpm:gpidtr:11,
  author = {Magalh\~aes, Jos\'e Pedro and Jeuring, Johan},
  title = {Generic Programming for Indexed Datatypes},
  institution = {Department of Information and Computing Sciences, Utrecht University},
  number = {UU-CS-2011-021},
  pubcat = {techreport},
  year = {2011},
}

@techreport{jpm:fmmhtr:11,
  author = {Magalh\~aes, Jos\'e Pedro and de Haas, W. Bas},
  title = {Experience Report: Functional Modelling of Musical Harmony},
  institution = {Department of Information and Computing Sciences, Utrecht University},
  number = {UU-CS-2011-007},
  pubcat = {techreport},
  year = {2011},
}

@inproceedings{jpm:gss:10,
  author = {Steenbergen, Martijn van and Magalh\~aes, Jos\'e Pedro and Jeuring, Johan},
  title = {Generic selections of subexpressions},
  booktitle = {WGP '10: Proceedings of the 6th ACM SIGPLAN workshop on Generic programming},
  year = {2010},
  isbn = {978-1-4503-0251-7},
  pages = {37--48},
  location = {Baltimore, Maryland, USA},
  doi = {http://doi.acm.org/10.1145/1863495.1863501},
  publisher = {ACM},
  address = {New York, NY, USA},
}

@inproceedings{jpm:gdmh:10,
  author = {Magalh\~aes, Jos\'e Pedro and Dijkstra, Atze and Jeuring, Johan and L\"{o}h, Andres},
  title = {A generic deriving mechanism for {Haskell}},
  booktitle = {Haskell '10: Proceedings of the third ACM Haskell symposium on Haskell},
  year = {2010},
  isbn = {978-1-4503-0252-4},
  pages = {37--48},
  location = {Baltimore, Maryland, USA},
  doi = {http://doi.acm.org/10.1145/1863523.1863529},
  publisher = {ACM},
  address = {New York, NY, USA},
}

@techreport{jpm:gdmhtr:10,
  author = {Magalh\~aes, Jos\'e Pedro and Dijkstra, Atze and Jeuring, Johan and L\"{o}h, Andres},
  title = {A generic deriving mechanism for {Haskell}},
  institution = {Department of Information and Computing Sciences, Utrecht University},
  number = {UU-CS-2010-017},
  pubcat = {techreport},
  year = {2010},
}

@article{jpm:ladgr:10,
  author = {Noort, Thomas van and Rodriguez Yakushev, Alexey and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan and Magalh\~aes, Jos\'e Pedro},
  title = {A lightweight approach to datatype-generic rewriting},
  journal = {Journal of Functional Programming},
  volume = {20},
  number = {Special Issue 3-4},
  pages = {375-413},
  year = {2010},
  doi = {10.1017/S0956796810000183},
}

@inproceedings{jpm:ogie:10,
 acmid                = {1706366},
 address              = {New York, NY, USA},
 author               = {Magalh\~aes, Jos\'e Pedro and Holdermans, Stefan and Jeuring, Johan and L\"{o}h, Andres},
 booktitle            = {Proceedings of the 2010 ACM SIGPLAN workshop on Partial Evaluation and Program Manipulation},
 doi                  = {http://doi.acm.org/10.1145/1706356.1706366},
 isbn                 = {978-1-60558-727-1},
 keywords             = {benchmark, functional programming, generic programming, haskell, optimization},
 location             = {Madrid, Spain},
 numpages             = {10},
 pages                = {33--42},
 publisher            = {ACM},
 series               = {PEPM'10},
 title                = {Optimizing Generics Is Easy!},
 url                  = {http://dreixel.net/research/pdf/ogie.pdf},
 year                 = {2010},
 }

@techreport{jpm:ladgrtr:10,
 author               = {Noort, Thomas~van and Rodriguez Yakushev, Alexey and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan and Magalh\~aes, Jos\'e Pedro},
 institution          = {Department of Information and Computing Sciences, Utrecht University},
 number               = {UU-CS-2010-008},
 pubcat               = {techreport},
 title                = {A Lightweight Approach to Datatype-generic Rewriting},
 year                 = {2010},
 }

@inproceedings{jpm:cstog:09,
 author               = {Klein Gunnewiek, Rene and Berretty, Robert-Paul and Barenbrug, Bart and Magalh\~aes, Jos\'e Pedro},
 booktitle            = {Proceedings of the SPIE Volume 7237, Stereoscopic Displays and Applications XX},
 editor               = {Andrew J. Woods and Nicolas S. Holliman and John O. Merritt},
 isbn                 = {9780819474872},
 publisher            = {SPIE},
 title                = {Coherent Spatial and Temporal Occlusion Generation},
 url                  = {{http://dreixel.net/research/pdf/cstog.pdf}},
 year                 = {2009},
 }

@inproceedings{jpm:gpdr:10,
 author               = {Jeuring, Johan and Magalh\~aes, Jos\'e Pedro and Heeren, Bastiaan},
 title                = {Generic Programming for Domain Reasoners},
 booktitle            = {Proceedings of the 10th Symposium on Trends in Functional Programming (TFP'2009)},
 editor               = {Zolt\'an Horv\'ath and Vikt\'oria Zs\'ok and Peter Achten and Pieter Koopman},
 isbn                 = {9781841504056},
 publisher            = {Intellect},
 pages                = {113--128},
 url                  = {{http://dreixel.net/research/pdf/gpdr.pdf}},
 year                 = {2010},
 }

@techreport{jpm:gpdrtr:09,
 author               = {Jeuring, Johan and Magalh\~aes, Jos\'e Pedro and Heeren, Bastiaan},
 institution          = {Department of Information and Computing Sciences, Utrecht University},
 number               = {UU-CS-2009-016},
 pubcat               = {techreport},
 title                = {Generic Programming for Domain Reasoners},
 url                  = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-016.pdf}},
 year                 = {2009},
 }

@inproceedings{jpm:lgph:09,
 author               = {Jeuring, Johan and Leather, Sean and Magalh\~aes, {Jos\'e Pedro} and {Rodriguez Yakushev}, Alexey},
 booktitle            = {Advanced Functional Programming, 6th International School, AFP 2008, Revised Lectures},
 editor               = {Koopman, Pieter and Plasmeijer, Rinus and Swierstra, Doaitse},
 note                 = {ISBN-13 978-3-642-04651-3},
 pages                = {165-229},
 publisher            = {Springer},
 series               = {Lecture Notes in Computer Science},
 title                = {Libraries for Generic Programming in {Haskell}},
 url                  = {{http://dreixel.net/research/pdf/lgph.pdf}},
 volume               = {5832},
 year                 = {2009},
 }

@techreport{jpm:ogietr:09,
 author               = {Magalh\~aes, Jos\'e Pedro and Holdermans, Stefan and Jeuring, Johan and L{\"o}h, Andres},
 institution          = {Department of Information and Computing Sciences, Utrecht University},
 number               = {UU-CS-2009-022},
 pubcat               = {techreport},
 title                = {Optimizing Generics Is Easy!},
 url                  = {{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-022.pdf}},
 year                 = {2009},
 }

@techreport{jpm:lgphtr:08,
 author               = {Jeuring, Johan and Leather, Sean and {Magalh\~aes}, Jos\'e Pedro and {Rodriguez Yakushev}, Alexey},
 institution          = {Department of Information and Computing Sciences, Utrecht University},
 number               = {UU-CS-2008-025},
 pubcat               = {techreport},
 title                = {Libraries for Generic Programming in {Haskell}},
 url                  = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-025.pdf}},
 year                 = {2008},
 }

@inproceedings{jpm:fvip:07,
 author               = {Correia, Jos\'e Pedro and Magalh\~aes, Jos\'e Pedro and {Sousa Pinto}, Jorge},
 booktitle            = {Proceedings of the Conference on Compilers, Related Technologies and Applications ({CoRTA} 2007)},
 editor               = {Henriques, P. and Santos, V. and Sousa, S.},
 isbn                 = {978-972-8790-70-7},
 pages                = {74--85},
 publisher            = {Beira Interior University},
 title                = {Formally Verifying Imperative Programs},
 url                  = {{http://dreixel.net/research/pdf/fvip.pdf}},
 year                 = {2007},
 }

@misc{jpm:ovr:07,
 author               = {Magalh\~aes, Jos\'e Pedro},
 note                 = {Final internship report, Minho University (confidential until 2012)},
 title                = {Occluded video retrieval---Using temporal information for automatic generation of an occlusion layer from {2D} content for {3D} rendering},
 year                 = {2007},
 }