José Pedro Magalhães - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'José Pedro Magalhães' as author, editor, or advisor:

Mixed-domain receiver architecture for white space software-defined radio scenariosRoberto Gómez-Garcia, José M. N. Vieira, Nuno Borges Carvalho, José Pedro Magalhães. iscas 2012: 822-825 [doi]
Generic Generic ProgrammingJosé Pedro Magalhães, Andres Löh. PADL 2014: 216-231 [doi]
Generic selections of subexpressionsMartijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring. ICFP 2010: 37-48 [doi]
Generic Programming with Multiple ParametersJosé Pedro Magalhães. FLOPS 2014: 136-151 [doi]
Real time front-end for cognitive radio inspired by the human cochleaDaniel Malafaia, José Pedro Magalhães, José M. N. Vieira, Nuno Borges Carvalho. rws 2013: 16-18 [doi]
Functional generation of harmony and melodyJosé Pedro Magalhães, Hendrik Vincent Koops. ICFP 2014: 11-21 [doi]
Generic programming for indexed datatypesJosé Pedro Magalhães, Johan Jeuring. ICFP 2011: 37-46 [doi]
A functional approach to automatic melody harmonisationHendrik Vincent Koops, José Pedro Magalhães, W. Bas de Haas. ICFP 2013: 47-58 [doi]
Optimizing SYB is easy!Michael D. Adams, Andrew Farmer, José Pedro Magalhães. PEPM 2014: 71-82 [doi]
Equality proofs and deferred type errors: a compiler pearlDimitrios Vytiniotis, Simon L. Peyton Jones, José Pedro Magalhães. ICFP 2012: 341-352 [doi]
The right kind of generic programmingJosé Pedro Magalhães. ICFP 2012: 13-24 [doi]
Generic representations of tree transformationsJeroen Bransen, José Pedro Magalhães. ICFP 2013: 73-84 [doi]
A Duality of SortsRalf Hinze, José Pedro Magalhães, Nicolas Wu. BIRTHDAY 2013: 151-167 [doi]
Hierarchy in Generic Programming LibrariesJosé Pedro Magalhães, Andres Löh. mpc 2015: 93-112 [doi]
A generic deriving mechanism for HaskellJosé Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh. haskell 2010: 37-48 [doi]
Automatic Functional Harmonic AnalysisBas de Haas, José Pedro Magalhães, Frans Wiering, Remco C. Veltkamp. comj, 37(4):37-53, 2013. [doi]
Sorting with bialgebras and distributive lawsRalf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, José Pedro Magalhães. ICFP 2012: 69-80 [doi]
A lightweight approach to datatype-generic rewritingThomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães. JFP, 20(3-4):375-413, 2010. [doi]
Pure and Lazy Lambda Mining - An Experience ReportNicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra. IFL 2013: 207-223 [doi]
Optimizing SYB traversals is easy!Michael D. Adams, Andrew Farmer, José Pedro Magalhães. SCP, 112:170-193, 2015. [doi]
Generic Programming for Domain ReasonersJohan Jeuring, José Pedro Magalhães, Bastiaan Heeren. sfp 2009: 113-128
Improving Audio Chord Transcription by Exploiting Harmonic and Metric KnowledgeBas de Haas, José Pedro Magalhães, Frans Wiering. ismir 2012: 295-300 [doi]
Papoulis-Gerchberg Hybrid Filter Bank receiver for cognitive-/Software-Defined Radio systemsJosé Pedro Magalhães, Teofilo Monteiro, José M. N. Vieira, Roberto Gómez-Garcia, Nuno Borges Carvalho. iscas 2013: 69-72 [doi]
Dual-band lowpass/bandpass periodic-type microstrip filter with Long-Term-Evolution (LTE) service mitigationRoberto Gómez-Garcia, Raul Loeches-Sanchez, José Maria Muñoz-Ferreras, Jose P. Borrego, José Pedro Magalhães, Nuno Borges Carvalho, José M. N. Vieira, Félix Pérez-Martínez. lascas 2014: 1-4 [doi]
HarmTrace: Improving Harmonic Similarity Estimation Using Functional Harmony AnalysisBas de Haas, José Pedro Magalhães, Remco C. Veltkamp, Frans Wiering. ismir 2011: 67-72 [doi]
Functional modelling of musical harmony: an experience reportJosé Pedro Magalhães, Bas de Haas. ICFP 2011: 156-162 [doi]
Generic programming with indexed functorsAndres Löh, José Pedro Magalhães. ICFP 2011: 1-12 [doi]
Giving Haskell a promotionBrent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães. tldi 2012: 53-66 [doi]
Optimisation of Generic Programs Through InliningJosé Pedro Magalhães. IFL 2013: 104-121 [doi]

runs on WebDSL