José Pedro Magalhães : Publications

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

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)

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)

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)

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

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)

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

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)

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

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)

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)

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

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

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)

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

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)

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

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

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

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

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)

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

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

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)

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)

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

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

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

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

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

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)

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

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!

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)

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)

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)

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

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

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

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)

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)

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)

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

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