José Pedro Magalhães

According to our database, José Pedro Magalhães authored at least 32 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Optimizing SYB traversals is easy!

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

Sci. Comput. Program., 2015

Hierarchy in Generic Programming Libraries.

José Pedro Magalhães, Andres Löh

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

2014

Optimizing SYB is easy!

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

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Generic Generic Programming.

José Pedro Magalhães, Andres Löh

Proceedings of the Practical Aspects of Declarative Languages, 2014

Dual-band lowpass/bandpass periodic-type microstrip filter with Long-Term-Evolution (LTE) service mitigation.

Roberto Gómez-García, Raul Loeches-Sanchez, José Maria Muñoz-Ferreras, José Pedro Borrego, José Pedro Magalhães, Nuno Borges Carvalho, José M. N. Vieira, Félix Pérez-Martínez

Proceedings of the IEEE 5th Latin American Symposium on Circuits and Systems, 2014

Functional generation of harmony and melody.

José Pedro Magalhães, Hendrik Vincent Koops

Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, 2014

Generic Programming with Multiple Parameters.

José Pedro Magalhães

Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013

Automatic Functional Harmonic Analysis.

W. Bas de Haas, José Pedro Magalhães, Frans Wiering, Remco C. Veltkamp

Comput. Music. J., 2013

Real time front-end for cognitive radio inspired by the human cochlea.

Daniel Malafaia, José Pedro Magalhães, José M. N. Vieira, Nuno Borges Carvalho

Proceedings of the 2013 IEEE Radio and Wireless Symposium, 2013

Papoulis-Gerchberg Hybrid Filter Bank receiver for cognitive-/Software-Defined Radio systems.

José Pedro Magalhães, Teofilo Monteiro, José M. N. Vieira, Roberto Gómez-García, Nuno Borges Carvalho

Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

A functional approach to automatic melody harmonisation.

Hendrik Vincent Koops, José Pedro Magalhães, W. Bas de Haas

Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design, 2013

Generic representations of tree transformations.

Jeroen Bransen, José Pedro Magalhães

Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, 2013

A Duality of Sorts.

Ralf Hinze, José Pedro Magalhães, Nicolas Wu

Proceedings of the Beauty of Functional Code, 2013

2012

A Formal Comparison of Approaches to Datatype-Generic Programming

José Pedro Magalhães, Andres Löh

Proceedings of the Proceedings Fourth Workshop on Mathematically Structured Functional Programming, 2012

Giving Haskell a promotion.

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

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge.

W. Bas de Haas, José Pedro Magalhães, Frans Wiering

Proceedings of the 13th International Society for Music Information Retrieval Conference, 2012

Mixed-domain receiver architecture for white space software-defined radio scenarios.

Roberto Gómez-García, José M. N. Vieira, Nuno Borges Carvalho, José Pedro Magalhães

Proceedings of the 2012 IEEE International Symposium on Circuits and Systems, 2012

Pure and Lazy Lambda Mining - An Experience Report.

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

Proceedings of the Implementation and Application of Functional Languages, 2012

Optimisation of Generic Programs Through Inlining.

José Pedro Magalhães

Proceedings of the Implementation and Application of Functional Languages, 2012

Equality proofs and deferred type errors: a compiler pearl.

Dimitrios Vytiniotis, Simon L. Peyton Jones, José Pedro Magalhães

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

The right kind of generic programming.

José Pedro Magalhães

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

Sorting with bialgebras and distributive laws.

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

Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 2012

2011

HarmTrace: Improving Harmonic Similarity Estimation Using Functional Harmony Analysis.

W. Bas de Haas, José Pedro Magalhães, Remco C. Veltkamp, Frans Wiering

Proceedings of the 12th International Society for Music Information Retrieval Conference, 2011

Generic programming for indexed datatypes.

José Pedro Magalhães, Johan Jeuring

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

Functional modelling of musical harmony: an experience report.

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

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Generic programming with indexed functors.

Andres Löh, José Pedro Magalhães

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

2010

A lightweight approach to datatype-generic rewriting.

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

J. Funct. Program., 2010

Optimizing generics is easy!

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

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Generic selections of subexpressions.

Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2010

A generic deriving mechanism for Haskell.

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

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2009

Generic Programming for Domain Reasoners.

Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren

Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

2008

Libraries for Generic Programming in Haskell.

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

Proceedings of the Advanced Functional Programming, 6th International School, 2008