José Pedro Magalhães : Publications

Book chapters

• [1]

  Generic Programming with Multiple Parameters

  José Pedro Magalhães

  In Michael Codish and Eijiro Sumii, editors, Functional and Logic Programming. Vol. 8475 of Lecture Notes in Computer Science. Pages 136–151. Springer International Publishing. 2014.

  Details about Generic Programming with Multiple Parameters | BibTeX data for Generic Programming with Multiple Parameters | DOI (10.1007/978-3-319-07151-0_9) | Link to Generic Programming with Multiple Parameters

• [2]

  Generic Generic Programming

  José Pedro Magalhães and Andres Löh

  In Matthew Flatt and Hai−Feng Guo, editors, Practical Aspects of Declarative Languages. Vol. 8324 of Lecture Notes in Computer Science. Pages 216–231. Springer International Publishing. 2014.

  Details about Generic Generic Programming | BibTeX data for Generic Generic Programming | DOI (10.1007/978-3-319-04132-2\_15)

• [3]

  A Duality of Sorts

  Ralf Hinze‚ José Pedro Magalhães and Nicolas Wu

  In Peter Achten and Pieter Koopman, editors, The Beauty of Functional Code. Vol. 8106 of Lecture Notes in Computer Science. Pages 151−167. Springer Berlin Heidelberg. 2013.

  Details about A Duality of Sorts | BibTeX data for A Duality of Sorts | DOI (10.1007/978-3-642-40355-2_11) | Link to A Duality of Sorts

• [4]

  Optimisation of Generic Programs Through Inlining

  José Pedro Magalhães

  In Ralf Hinze, editor, Implementation and Application of Functional Languages. Pages 104–121. Springer Berlin Heidelberg. 2013.

  Details about Optimisation of Generic Programs Through Inlining | BibTeX data for Optimisation of Generic Programs Through Inlining | DOI (10.1007/978-3-642-41582-1\_7)

• [5]

  Pure and Lazy Lambda Mining

  Nicolas Wu‚ José Pedro Magalhães‚ Jeroen Bransen and Wouter Swierstra

  In Ralf Hinze, editor, Implementation and Application of Functional Languages. Pages 207–223. Springer Berlin Heidelberg. 2013.

  Details about Pure and Lazy Lambda Mining | BibTeX data for Pure and Lazy Lambda Mining | DOI (10.1007/978-3-642-41582-1\_13)

• [6]

  A Duality of Sorts

  Ralf Hinze‚ José Pedro Magalhães and Nicolas Wu

  In Peter Achten and Pieter Koopman, editors, The Beauty of Functional Code. Vol. 8106 of Lecture Notes in Computer Science. Pages 151–167. Springer Berlin Heidelberg. 2013.

  Details about A Duality of Sorts | BibTeX data for A Duality of Sorts | DOI (10.1007/978-3-642-40355-2\_11)

Journal papers

• [1]

  HarmTrace: Automatic Functional Harmonic Analysis

  W. Bas De Haas‚ José Pedro Magalhães‚ Frans Wiering and Remco C. Veltkamp

  In Computer Music Journal. Vol. 37:4. Pages 37–53. 2013.

  Details about HarmTrace: Automatic Functional Harmonic Analysis | BibTeX data for HarmTrace: Automatic Functional Harmonic Analysis | DOI (10.1162/COMJ_a_00209)

• [2]

  A lightweight approach to datatype−generic rewriting

  Thomas van Noort‚ Alexey Rodriguez Yakushev‚ Stefan Holdermans‚ Johan Jeuring‚ Bastiaan Heeren and José Pedro Magalhães

  In Journal of Functional Programming. Vol. 20. No. Special Issue 3−4. Pages 375−413. 2010.

  Details about A lightweight approach to datatype−generic rewriting | BibTeX data for A lightweight approach to datatype−generic rewriting | DOI (10.1017/S0956796810000183)

Conference papers

• [1]

  Functional Generation of Harmony and Melody

  José Pedro Magalhães and Hendrik Vincent Koops

  In Proceedings of the Second ACM SIGPLAN Workshop on Functional Art‚ Music‚ Modeling Modeling & Design. ACM. 2014.

  Details about Functional Generation of Harmony and Melody | BibTeX data for Functional Generation of Harmony and Melody | DOI (10.1145/2633638.2633645)

• [2]

  Optimizing SYB is Easy!

  Michael D. Adams‚ Andrew Farmer and José Pedro Magalhães

  In Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation. Pages 71–82. New York‚ NY‚ USA. 2014. ACM.

  Details about Optimizing SYB is Easy! | BibTeX data for Optimizing SYB is Easy! | DOI (10.1145/2543728.2543730)

• [3]

  Pure and Lazy Lambda Mining: An Experience Report

  Nicolas Wu‚ José Pedro Magalhães‚ Jeroen Bransen and Wouter Swierstra

  In Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12). 2013.

  Details about Pure and Lazy Lambda Mining: An Experience Report | BibTeX data for Pure and Lazy Lambda Mining: An Experience Report

• [4]

  Optimisation of Generic Programs through Inlining

  José Pedro Magalhães

  In Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12). 2013.

  Details about Optimisation of Generic Programs through Inlining | BibTeX data for Optimisation of Generic Programs through Inlining

• [5]

  Pure and Lazy Lambda Mining: An Experience Report

  Nicolas Wu‚ José Pedro Magalhães‚ Jeroen Bransen and Wouter Swierstra

  In Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12). 2013.

  Details about Pure and Lazy Lambda Mining: An Experience Report | BibTeX data for Pure and Lazy Lambda Mining: An Experience Report

• [6]

  Generic Representations of Tree Transformations

  Jeroen Bransen and José Pedro Magalhães

  In Proceedings of the 9th ACM SIGPLAN Workshop on Generic Programming. Pages 73–84. ACM. 2013.

  Details about Generic Representations of Tree Transformations | BibTeX data for Generic Representations of Tree Transformations | DOI (10.1145/2502488.2502490)

• [7]

  A Functional Approach to Automatic Melody Harmonisation

  Hendrik Vincent Koops‚ José Pedro Magalhães and W. Bas De Haas

  In Proceedings of the First ACM SIGPLAN Workshop on Functional Art‚ Music‚ Modeling Modeling & Design. Pages 47–58. ACM. 2013.

  Details about A Functional Approach to Automatic Melody Harmonisation | BibTeX data for A Functional Approach to Automatic Melody Harmonisation | DOI (10.1145/2505341.2505343)

• [8]

  Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge

  W. Bas De Haas‚ José Pedro Magalhães and Frans Wiering

  In Fabien Gouyon‚ Perfecto Herrera‚ Luis Gustavo Martins and Meinard Müller, editors, Proceedings of the 13th International Society for Music Information Retrieval Conference. Pages 295–300. FEUP Edições. 2012.

  Details about Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge | BibTeX data for Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge

• [9]

  Equality proofs and deferred type errors: a compiler pearl

  Dimitrios Vytiniotis‚ Simon Peyton Jones and José Pedro Magalhães

  In Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming. Pages 341–352. New York‚ NY‚ USA. 2012. ACM.

  Details about Equality proofs and deferred type errors: a compiler pearl | BibTeX data for Equality proofs and deferred type errors: a compiler pearl | DOI (10.1145/2364527.2364554)

• [10]

  The right kind of generic programming

  José Pedro Magalhães

  In Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming. Pages 13–24. New York‚ NY‚ USA. 2012. ACM.

  Details about The right kind of generic programming | BibTeX data for The right kind of generic programming | DOI (10.1145/2364394.2364397)

• [11]

  Sorting with Bialgebras and Distributive Laws

  Ralf Hinze‚ Daniel W.H. James‚ Thomas Harper‚ Nicolas Wu and José Pedro Magalhães

  In Proceedings of the 8th ACM SIGPLAN Workshop on Generic Programming. Pages 69–80. New York‚ NY‚ USA. 2012. ACM.

  Details about Sorting with Bialgebras and Distributive Laws | BibTeX data for Sorting with Bialgebras and Distributive Laws | DOI (10.1145/2364394.2364405)

• [12]

  Giving Haskell a Promotion

  Brent A. Yorgey‚ Stephanie Weirich‚ Julien Cretin‚ Simon Peyton Jones‚ Dimitrios Vytiniotis and José Pedro Magalhães

  In Proceedings of the 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation. Pages 53–66. New York‚ NY‚ USA. 2012. ACM.

  Details about Giving Haskell a Promotion | BibTeX data for Giving Haskell a Promotion | DOI (10.1145/2103786.2103795)

• [13]

  A Formal Comparison of Approaches to Datatype−Generic Programming

  José Pedro Magalhães and Andres Löh

  In James Chapman and Paul Blain Levy, editors, Proceedings Fourth Workshop on Mathematically Structured Functional Programming‚ Tallinn‚ Estonia‚ 25 March 2012. Vol. 76 of Electronic Proceedings in Theoretical Computer Science. Pages 50–67. Open Publishing Association. 2012.

  Details about A Formal Comparison of Approaches to Datatype−Generic Programming | BibTeX data for A Formal Comparison of Approaches to Datatype−Generic Programming | DOI (10.4204/EPTCS.76.6)

• [14]

  Generic programming for indexed datatypes

  José Pedro Magalhães and Johan Jeuring

  In Proceedings of the 7th ACM SIGPLAN Workshop on Generic Programming. Pages 37–46. New York‚ NY‚ USA. 2011. ACM.

  Details about Generic programming for indexed datatypes | BibTeX data for Generic programming for indexed datatypes

• [15]

  Generic programming with indexed functors

  Andres Löh and José Pedro Magalhães

  In Proceedings of the 7th ACM SIGPLAN Workshop on Generic Programming. Pages 1–12. New York‚ NY‚ USA. 2011. ACM.

  Details about Generic programming with indexed functors | BibTeX data for Generic programming with indexed functors

• [16]

  Functional modelling of musical harmony: an experience report

  José Pedro Magalhães and W. Bas de Haas

  In Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming. Pages 156–162. New York‚ NY‚ USA. 2011. ACM.

  Details about Functional modelling of musical harmony: an experience report | BibTeX data for Functional modelling of musical harmony: an experience report

• [17]

  HarmTrace: Improving Harmonic Similarity Estimation Using Functional Harmony Analysis

  W. Bas De Haas‚ José Pedro Magalhães‚ Remco C. Veltkamp and Frans Wiering

  In Proceedings of the 12th International Society for Music Information Retrieval Conference. Pages 67–72. 2011.

  Details about HarmTrace: Improving Harmonic Similarity Estimation Using Functional Harmony Analysis | BibTeX data for HarmTrace: Improving Harmonic Similarity Estimation Using Functional Harmony Analysis

• [18]

  Generic Programming for Domain Reasoners

  Johan Jeuring‚ José Pedro Magalhães and Bastiaan Heeren

  In Zoltán Horváth‚ Viktória Zsók‚ Peter Achten and Pieter Koopman, editors, Proceedings of the 10th Symposium on Trends in Functional Programming. Pages 113–128. Intellect. 2010.

  Details about Generic Programming for Domain Reasoners | BibTeX data for Generic Programming for Domain Reasoners | Link to Generic Programming for Domain Reasoners

• [19]

  Optimizing Generics Is Easy!

  José Pedro Magalhães‚ Stefan Holdermans‚ Johan Jeuring and Andres Löh

  In Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Pages 33–42. New York‚ NY‚ USA. 2010. ACM.

  Details about Optimizing Generics Is Easy! | BibTeX data for Optimizing Generics Is Easy! | DOI (10.1145/1706356.1706366)

• [20]

  A generic deriving mechanism for Haskell

  José Pedro Magalhães‚ Atze Dijkstra‚ Johan Jeuring and Andres Löh

  In Proceedings of the 3rd ACM Haskell Symposium on Haskell. Pages 37–48. New York‚ NY‚ USA. 2010. ACM.

  Details about A generic deriving mechanism for Haskell | BibTeX data for A generic deriving mechanism for Haskell | DOI (10.1145/1863523.1863529)

• [21]

  Generic selections of subexpressions

  Martijn van Steenbergen‚ José Pedro Magalhães and Johan Jeuring

  In Proceedings of the 6th ACM SIGPLAN Workshop on Generic Programming. Pages 37–48. New York‚ NY‚ USA. 2010. ACM.

  Details about Generic selections of subexpressions | BibTeX data for Generic selections of subexpressions | DOI (10.1145/1863495.1863501)

• [22]

  Libraries for Generic Programming in Haskell

  Johan Jeuring‚ Sean Leather‚ José Pedro Magalhães and Alexey Rodriguez Yakushev

  In Pieter Koopman‚ Rinus Plasmeijer and Doaitse Swierstra, editors, Advanced Functional Programming‚ 6th International School‚ AFP 2008‚ Revised Lectures. Vol. 5832 of Lecture Notes in Computer Science. Pages 165–229. Springer. 2009.

  Details about Libraries for Generic Programming in Haskell | BibTeX data for Libraries for Generic Programming in Haskell

• [23]

  Coherent Spatial and Temporal Occlusion Generation

  Klein Gunnewiek‚ Rene‚ Robert−Paul Berretty‚ Bart Barenbrug and José Pedro Magalhães

  In Andrew J. Woods‚ Nicolas S. Holliman and John O. Merritt, editors, Proceedings of the SPIE Volume 7237‚ Stereoscopic Displays and Applications XX. SPIE. 2009.

  Details about Coherent Spatial and Temporal Occlusion Generation | BibTeX data for Coherent Spatial and Temporal Occlusion Generation | Link to Coherent Spatial and Temporal Occlusion Generation

• [24]

  Formally Verifying Imperative Programs

  José Pedro Correia‚ José Pedro Magalhães and Jorge Sousa Pinto

  In P. Henriques‚ V. Santos and S. Sousa, editors, Proceedings of the Conference on Compilers‚ Related Technologies and Applications. Pages 74–85. Beira Interior University. 2007.

  Details about Formally Verifying Imperative Programs | BibTeX data for Formally Verifying Imperative Programs

Technical reports

• [1]

  Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012)

  Ralf Hinze (editor)

  No. RR−12−06. DCS. 2012.

  Details about Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012) | BibTeX data for Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012) | Download  (pdf) of Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012)

• [2]

  Experience Report: Functional Modelling of Musical Harmony

  José Pedro Magalhães and W. Bas de Haas

  No. UU−CS−2011−007. Department of Information and Computing Sciences‚ Utrecht University. 2011.

  Details about Experience Report: Functional Modelling of Musical Harmony | BibTeX data for Experience Report: Functional Modelling of Musical Harmony

• [3]

  Generic Programming for Indexed Datatypes

  José Pedro Magalhães and Johan Jeuring

  No. UU−CS−2011−021. Department of Information and Computing Sciences‚ Utrecht University. 2011.

  Details about Generic Programming for Indexed Datatypes | BibTeX data for Generic Programming for Indexed Datatypes

• [4]

  HarmTrace: Automatic Functional Harmonic Analysis

  W. Bas De Haas‚ José Pedro Magalhães‚ Frans Wiering and Remco C. Veltkamp

  No. UU−CS−2011−023. Department of Information and Computing Sciences‚ Utrecht University. 2011.

  Details about HarmTrace: Automatic Functional Harmonic Analysis | BibTeX data for HarmTrace: Automatic Functional Harmonic Analysis

• [5]

  A Lightweight Approach to Datatype−generic Rewriting

  Thomas van Noort‚ Alexey Rodriguez Yakushev‚ Stefan Holdermans‚ Johan Jeuring‚ Bastiaan Heeren and José Pedro Magalhães

  No. UU−CS−2010−008. Department of Information and Computing Sciences‚ Utrecht University. 2010.

  Details about A Lightweight Approach to Datatype−generic Rewriting | BibTeX data for A Lightweight Approach to Datatype−generic Rewriting

• [6]

  A generic deriving mechanism for Haskell

  José Pedro Magalhães‚ Atze Dijkstra‚ Johan Jeuring and Andres Löh

  No. UU−CS−2010−017. Department of Information and Computing Sciences‚ Utrecht University. 2010.

  Details about A generic deriving mechanism for Haskell | BibTeX data for A generic deriving mechanism for Haskell

• [7]

  Optimizing Generics Is Easy!

  José Pedro Magalhães‚ Stefan Holdermans‚ Johan Jeuring and Andres Löh

  No. UU−CS−2009−022. Department of Information and Computing Sciences‚ Utrecht University. 2009.

  Details about Optimizing Generics Is Easy! | BibTeX data for Optimizing Generics Is Easy! | Link to Optimizing Generics Is Easy!

• [8]

  Generic Programming for Domain Reasoners

  Johan Jeuring‚ José Pedro Magalhães and Bastiaan Heeren

  No. UU−CS−2009−016. Department of Information and Computing Sciences‚ Utrecht University. 2009.

  Details about Generic Programming for Domain Reasoners | BibTeX data for Generic Programming for Domain Reasoners | Link to Generic Programming for Domain Reasoners

• [9]

  Libraries for Generic Programming in Haskell

  Johan Jeuring‚ Sean Leather‚ José Pedro Magalhães and Alexey Rodriguez Yakushev

  No. UU−CS−2008−025. Department of Information and Computing Sciences‚ Utrecht University. 2008.

  Details about Libraries for Generic Programming in Haskell | BibTeX data for Libraries for Generic Programming in Haskell | Link to Libraries for Generic Programming in Haskell

Theses

• [1]

  Less Is More: Generic Programming Theory and Practice

  José Pedro Magalhães

  PhD Thesis Universiteit Utrecht. 2012.

  Details about Less Is More: Generic Programming Theory and Practice | BibTeX data for Less Is More: Generic Programming Theory and Practice

Miscellaneous

• [1]

  Sorting with Bialgebras and Distributive Laws

  Ralf Hinze‚ Daniel W.H. James‚ Thomas Harper‚ Nicolas Wu and José Pedro Magalhães

  May, 2012.

  Accepted to WGP '12

  Details about Sorting with Bialgebras and Distributive Laws | BibTeX data for Sorting with Bialgebras and Distributive Laws | Link to Sorting with Bialgebras and Distributive Laws

• [2]

  Occluded video retrieval—Using temporal information for automatic generation of an occlusion layer from 2D content for 3D rendering

  José Pedro Magalhães

  2007.

  Final internship report‚ Minho University (confidential until 2012)

  Details about Occluded video retrieval—Using temporal information for automatic generation of an occlusion layer from 2D content for 3D rendering | BibTeX data for Occluded video retrieval—Using temporal information for automatic generation of an occlusion layer from 2D content for 3D rendering