@incollection{jpm:gpmp:14,
  title = "Generic Programming with Multiple Parameters",
  author = "Magalh\~aes, Jos\'e Pedro",
  year = "2014",
  booktitle = "Functional and Logic Programming",
  editor = "Codish, Michael and Sumii, Eijiro",
  isbn = "978-3-319-07150-3",
  pages = "136--151",
  publisher = "Springer International Publishing",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-319-07151-0_9",
  volume = "8475",
  doi = "10.1007/978-3-319-07151-0_9",
}
@inproceedings{jpm:fghm:14,
  title = "Functional Generation of Harmony and Melody",
  author = "Magalh\~aes, Jos\'e Pedro and Koops, Hendrik Vincent",
  year = "2014",
  booktitle = "Proceedings of the Second ACM SIGPLAN Workshop on Functional Art, Music, Modeling \& Design",
  publisher = "ACM",
  series = "FARM~'14",
  doi = "10.1145/2633638.2633645",
}
@inproceedings{jpm:osie:14,
  title = "Optimizing {SYB} is Easy!",
  author = "Adams, Michael D. and Farmer, Andrew and Magalh\~aes, Jos\'e Pedro",
  year = "2014",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation",
  pages = "71--82",
  publisher = "ACM",
  series = "PEPM~'14",
  doi = "10.1145/2543728.2543730",
}
@incollection{jpm:ggp:14,
  title = "Generic Generic Programming",
  author = "Magalh\~aes, Jos\'e Pedro and L\"oh, Andres",
  year = "2014",
  booktitle = "Practical Aspects of Declarative Languages",
  editor = "Flatt, Matthew and Guo, Hai-Feng",
  pages = "216--231",
  publisher = "Springer International Publishing",
  series = "Lecture Notes in Computer Science",
  volume = "8324",
  doi = "10.1007/978-3-319-04132-2\_15",
}
@incollection{HMW13Dua,
  title = "A Duality of Sorts",
  author = "Hinze, Ralf and Magalhães, José Pedro and Wu, Nicolas",
  year = "2013",
  affiliation = "University of Oxford, Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England",
  booktitle = "The Beauty of Functional Code",
  editor = "Achten, Peter and Koopman, Pieter",
  isbn = "978-3-642-40354-5",
  pages = "151-167",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-40355-2_11",
  volume = "8106",
  doi = "10.1007/978-3-642-40355-2_11",
}
@inproceedings{jpm:pllmer:13,
  title = "Pure and Lazy Lambda Mining: An Experience Report",
  author = "Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro and Bransen, Jeroen and Swierstra, Wouter",
  year = "2013",
  booktitle = "Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12)",
  location = "Oxford, United Kingdom",
  series = "IFL '12",
}
@article{jpm:hafha:13,
  title = "{HarmTrace}: Automatic Functional Harmonic Analysis",
  author = "De Haas, W. Bas and Magalh\~aes, Jos\'e Pedro and Wiering, Frans and Veltkamp, Remco C.",
  year = "2013",
  journal = "Computer Music Journal",
  pages = "37--53",
  volume = "37:4",
  doi = "10.1162/COMJ_a_00209",
}
@incollection{jpm:ogpi:13,
  title = "Optimisation of Generic Programs Through Inlining",
  author = "Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2013",
  booktitle = "Implementation and Application of Functional Languages",
  editor = "Hinze, Ralf",
  pages = "104--121",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  doi = "10.1007/978-3-642-41582-1\_7",
}
@incollection{jpm:pllmer:13,
  title = "Pure and Lazy Lambda Mining",
  author = "Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro and Bransen, Jeroen and Swierstra, Wouter",
  year = "2013",
  booktitle = "Implementation and Application of Functional Languages",
  editor = "Hinze, Ralf",
  isbn = "978-3-642-41581-4",
  pages = "207--223",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  doi = "10.1007/978-3-642-41582-1\_13",
}
@inproceedings{jpm:ogpi:13,
  title = "Optimisation of Generic Programs through Inlining",
  author = "Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2013",
  booktitle = "Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12)",
  location = "Oxford, United Kingdom",
  series = "IFL '12",
}
@inproceedings{jpm:pllmer:13,
  title = "Pure and Lazy Lambda Mining: An Experience Report",
  author = "Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro and Bransen, Jeroen and Swierstra, Wouter",
  year = "2013",
  booktitle = "Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12)",
  location = "Oxford, United Kingdom",
  series = "IFL '12",
}
@inproceedings{jpm:grtt:13,
  title = "Generic Representations of Tree Transformations",
  author = "Bransen, Jeroen and Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2013",
  booktitle = "Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming",
  location = "Boston, Massachusetts, USA",
  pages = "73--84",
  publisher = "ACM",
  series = "WGP '13",
  doi = "10.1145/2502488.2502490",
}
@inproceedings{jpm:faamh:13,
  title = "A Functional Approach to Automatic Melody Harmonisation",
  author = "Koops, Hendrik Vincent and Magalh\~{a}es, Jos{\'e} Pedro and De Haas, W. Bas",
  year = "2013",
  booktitle = "Proceedings of the First ACM SIGPLAN Workshop on Functional Art, Music, Modeling \& Design",
  location = "Boston, Massachusetts, USA",
  pages = "47--58",
  publisher = "ACM",
  series = "FARM '13",
  doi = "10.1145/2505341.2505343",
}
@incollection{jpm:ds:13,
  title = "A Duality of Sorts",
  author = "Hinze, Ralf and Magalh\~aes, Jos\'e Pedro and Wu, Nicolas",
  year = "2013",
  booktitle = "The Beauty of Functional Code",
  editor = "Achten, Peter and Koopman, Pieter",
  isbn = "978-3-642-40354-5",
  pages = "151--167",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "8106",
  doi = "10.1007/978-3-642-40355-2\_11",
}
@unpublished{HJWHM12Sor,
  title = "Sorting with Bialgebras and Distributive Laws",
  author = "Hinze, Ralf and James, Daniel W.H. and Harper, Thomas and Wu, Nicolas and Magalhães, José Pedro",
  year = "2012",
  month = "May",
  note = "Accepted to WGP '12",
  url = "http://www.cs.ox.ac.uk/people/daniel.james/sorting.html",
}
@techreport{RR-12-06,
  title = "Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012)",
  author = "Ralf Hinze (editor)",
  year = "2012",
  institution = "DCS",
  number = "RR-12-06",
  pages = "560",
}
@inproceedings{jpm:iactehmk:12,
  title = "Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge",
  author = "De Haas, W. Bas and Magalh\~aes, Jos\'e Pedro and Wiering, Frans",
  year = "2012",
  booktitle = "Proceedings of the 13th International Society for Music Information Retrieval Conference",
  editor = "Fabien Gouyon and Perfecto Herrera and Luis Gustavo Martins and Meinard M{\"u}ller",
  isbn = "978-972-752-144-9",
  location = "Porto, Portugal",
  pages = "295--300",
  publisher = "FEUP Edi\c{c}{\~o}es",
  series = "ISMIR '12",
}
@inproceedings{jpm:epdtecp:11,
  title = "Equality proofs and deferred type errors: a compiler pearl",
  author = "Vytiniotis, Dimitrios and Peyton Jones, Simon and Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2012",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming",
  isbn = "978-1-4503-1054-3",
  location = "Copenhagen, Denmark",
  pages = "341--352",
  publisher = "ACM",
  series = "ICFP '12",
  doi = "10.1145/2364527.2364554",
}
@inproceedings{jpm:trkgp:12,
  title = "The right kind of generic programming",
  author = "Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2012",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming",
  isbn = "978-1-4503-1576-0",
  location = "Copenhagen, Denmark",
  pages = "13--24",
  publisher = "ACM",
  series = "WGP '12",
  doi = "10.1145/2364394.2364397",
}
@inproceedings{jpm:sbdl:12,
  title = "Sorting with Bialgebras and Distributive Laws",
  author = "Hinze, Ralf and James, Daniel W.H. and Harper, Thomas and Wu, Nicolas and Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2012",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming",
  isbn = "978-1-4503-1576-0",
  location = "Copenhagen, Denmark",
  pages = "69--80",
  publisher = "ACM",
  series = "WGP '12",
  doi = "10.1145/2364394.2364405",
}
@phdthesis{jpm:thesis:12,
  title = "Less Is More: Generic Programming Theory and Practice",
  author = "Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2012",
  isbn = "978-90-393-5823-8",
  school = "Universiteit Utrecht",
}
@inproceedings{jpm:ghp:12,
  title = "Giving {H}askell a Promotion",
  author = "Yorgey, Brent A. and Weirich, Stephanie and Cretin, Julien and Peyton Jones, Simon and Vytiniotis, Dimitrios and Magalh\~aes, Jos\'e Pedro",
  year = "2012",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation",
  location = "Philadelphia, PA, USA",
  pages = "53--66",
  publisher = "ACM",
  series = "TLDI '12",
  doi = "10.1145/2103786.2103795",
}
@inproceedings{jpm:fcadgp:12,
  title = "A Formal Comparison of Approaches to Datatype-Generic Programming",
  author = "Magalh\~aes, Jos\'e Pedro and L\"oh, Andres",
  year = "2012",
  booktitle = "Proceedings Fourth Workshop on Mathematically Structured Functional Programming, Tallinn, Estonia, 25 March 2012",
  editor = "Chapman, James and Levy, Paul Blain",
  pages = "50--67",
  publisher = "Open Publishing Association",
  series = "Electronic Proceedings in Theoretical Computer Science",
  volume = "76",
  doi = "10.4204/EPTCS.76.6",
}
@techreport{jpm:fmmhtr:11,
  title = "Experience Report: Functional Modelling of Musical Harmony",
  author = "Magalh\~aes, Jos\'e Pedro and de Haas, W. Bas",
  year = "2011",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2011-007",
}
@techreport{jpm:gpidtr:11,
  title = "Generic Programming for Indexed Datatypes",
  author = "Magalh\~aes, Jos\'e Pedro and Jeuring, Johan",
  year = "2011",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2011-021",
}
@techreport{jpm:hafhatr:11,
  title = "{HarmTrace}: Automatic Functional Harmonic Analysis",
  author = "De Haas, W. Bas and Magalh\~aes, Jos\'e Pedro and Wiering, Frans and Veltkamp, Remco C.",
  year = "2011",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2011-023",
}
@inproceedings{jpm:gpid:11,
  title = "Generic programming for indexed datatypes",
  author = "Magalh\~aes, Jos\'e Pedro and Jeuring, Johan",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 7th ACM SIGPLAN Workshop on Generic Programming",
  isbn = "978-1-4503-0861-8",
  location = "Tokyo, Japan",
  pages = "37--46",
  publisher = "ACM",
  series = "WGP '11",
}
@inproceedings{jpm:gpif:11,
  title = "Generic programming with indexed functors",
  author = "L\"{o}h, Andres and Magalh\~{a}es, Jos{\'e} Pedro",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 7th ACM SIGPLAN Workshop on Generic Programming",
  isbn = "978-1-4503-0861-8",
  location = "Tokyo, Japan",
  pages = "1--12",
  publisher = "ACM",
  series = "WGP '11",
}
@inproceedings{jpm:fmmh:11,
  title = "Functional modelling of musical harmony: an experience report",
  author = "Magalh\~{a}es, Jos{\'e} Pedro and de Haas, W. Bas",
  year = "2011",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming",
  isbn = "978-1-4503-0865-6",
  location = "Tokyo, Japan",
  pages = "156--162",
  publisher = "ACM",
  series = "ICFP '11",
}
@inproceedings{jpm:hihseufha:11,
  title = "{HarmTrace}: Improving Harmonic Similarity Estimation Using Functional Harmony Analysis",
  author = "De Haas, W. Bas and Magalh\~aes, Jos\'e Pedro and Veltkamp, Remco C. and Wiering, Frans",
  year = "2011",
  booktitle = "Proceedings of the 12th International Society for Music Information Retrieval Conference",
  pages = "67--72",
  series = "ISMIR '11",
}
@inproceedings{jpm:gpdr:10,
  title = "Generic Programming for Domain Reasoners",
  author = "Jeuring, Johan and Magalh\~aes, Jos\'e Pedro and Heeren, Bastiaan",
  year = "2010",
  booktitle = "Proceedings of the 10th Symposium on Trends in Functional Programming",
  editor = "Zolt\'an Horv\'ath and Vikt\'oria Zs\'ok and Peter Achten and Pieter Koopman",
  isbn = "9781841504056",
  pages = "113--128",
  publisher = "Intellect",
  series = "TFP '09",
  url = "{http://dreixel.net/research/pdf/gpdr.pdf}",
}
@techreport{jpm:ladgrtr:10,
  title = "A Lightweight Approach to Datatype-generic Rewriting",
  author = "Noort, Thomas~van and Rodriguez Yakushev, Alexey and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan and Magalh\~aes, Jos\'e Pedro",
  year = "2010",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2010-008",
}
@inproceedings{jpm:ogie:10,
  title = "Optimizing Generics Is Easy!",
  author = "Magalh\~aes, Jos\'e Pedro and Holdermans, Stefan and Jeuring, Johan and L\"{o}h, Andres",
  year = "2010",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation",
  isbn = "978-1-60558-727-1",
  location = "Madrid, Spain",
  pages = "33--42",
  publisher = "ACM",
  series = "PEPM '10",
  doi = "10.1145/1706356.1706366",
}
@article{jpm:ladgr:10,
  title = "A lightweight approach to datatype-generic rewriting",
  author = "Noort, Thomas van and Rodriguez Yakushev, Alexey and Holdermans, Stefan and Jeuring, Johan and Heeren, Bastiaan and Magalh\~aes, Jos\'e Pedro",
  year = "2010",
  journal = "Journal of Functional Programming",
  number = "Special Issue 3-4",
  pages = "375-413",
  volume = "20",
  doi = "10.1017/S0956796810000183",
}
@techreport{jpm:gdmhtr:10,
  title = "A generic deriving mechanism for {H}askell",
  author = "Magalh\~aes, Jos\'e Pedro and Dijkstra, Atze and Jeuring, Johan and L\"{o}h, Andres",
  year = "2010",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2010-017",
}
@inproceedings{jpm:gdmh:10,
  title = "A generic deriving mechanism for {Haskell}",
  author = "Magalh\~aes, Jos\'e Pedro and Dijkstra, Atze and Jeuring, Johan and L\"{o}h, Andres",
  year = "2010",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 3rd ACM Haskell Symposium on Haskell",
  isbn = "978-1-4503-0252-4",
  location = "Baltimore, Maryland, USA",
  pages = "37--48",
  publisher = "ACM",
  series = "Haskell '10",
  doi = "10.1145/1863523.1863529",
}
@inproceedings{jpm:gss:10,
  title = "Generic selections of subexpressions",
  author = "Steenbergen, Martijn van and Magalh\~aes, Jos\'e Pedro and Jeuring, Johan",
  year = "2010",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 6th ACM SIGPLAN Workshop on Generic Programming",
  isbn = "978-1-4503-0251-7",
  location = "Baltimore, Maryland, USA",
  pages = "37--48",
  publisher = "ACM",
  series = "WGP '10",
  doi = "10.1145/1863495.1863501",
}
@techreport{jpm:ogietr:09,
  title = "Optimizing Generics Is Easy!",
  author = "Magalh\~aes, Jos\'e Pedro and Holdermans, Stefan and Jeuring, Johan and L{\"o}h, Andres",
  year = "2009",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2009-022",
  url = "{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-022.pdf}",
}
@inproceedings{jpm:lgph:09,
  title = "Libraries for Generic Programming in {H}askell",
  author = "Jeuring, Johan and Leather, Sean and Magalh\~aes, {Jos\'e Pedro} and {Rodriguez Yakushev}, Alexey",
  year = "2009",
  booktitle = "Advanced Functional Programming, 6th International School, AFP 2008, Revised Lectures",
  editor = "Koopman, Pieter and Plasmeijer, Rinus and Swierstra, Doaitse",
  isbn = "978-3-642-04651-3",
  pages = "165--229",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "5832",
}
@techreport{jpm:gpdrtr:09,
  title = "Generic Programming for Domain Reasoners",
  author = "Jeuring, Johan and Magalh\~aes, Jos\'e Pedro and Heeren, Bastiaan",
  year = "2009",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2009-016",
  url = "{http://www.cs.uu.nl/research/techreps/repo/CS-2009/2009-016.pdf}",
}
@inproceedings{jpm:cstog:09,
  title = "Coherent Spatial and Temporal Occlusion Generation",
  author = "Klein Gunnewiek and Rene and Berretty, Robert-Paul and Barenbrug, Bart and Magalh\~aes, Jos\'e Pedro",
  year = "2009",
  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",
  url = "{http://dreixel.net/research/pdf/cstog.pdf}",
}
@techreport{jpm:lgphtr:08,
  title = "Libraries for Generic Programming in {Haskell}",
  author = "Jeuring, Johan and Leather, Sean and {Magalh\~aes}, Jos\'e Pedro and {Rodriguez Yakushev}, Alexey",
  year = "2008",
  institution = "Department of Information and Computing Sciences, Utrecht University",
  number = "UU-CS-2008-025",
  url = "{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-025.pdf}",
}
@misc{jpm:ovr:07,
  title = "Occluded video retrieval---Using temporal information for automatic generation of an occlusion layer from {2D} content for {3D} rendering",
  author = "Magalh\~aes, Jos\'e Pedro",
  year = "2007",
  note = "Final internship report, Minho University (confidential until 2012)",
}
@inproceedings{jpm:fvip:07,
  title = "Formally Verifying Imperative Programs",
  author = "Correia, Jos\'e Pedro and Magalh\~aes, Jos\'e Pedro and {Sousa Pinto}, Jorge",
  year = "2007",
  booktitle = "Proceedings of the Conference on Compilers, Related Technologies and Applications",
  editor = "Henriques, P. and Santos, V. and Sousa, S.",
  isbn = "978-972-8790-70-7",
  pages = "74--85",
  publisher = "Beira Interior University",
  series = "{CoRTA} '07",
}