José Pedro Magalhães

34 papers A 2B 1C 6Misc 1Journal 4Unranked 19
YearRankTypeTitle / Venue / Authors
2024 J jnl
Functional Programming in Financial Markets (Experience Report).
Proc. ACM Program. Lang.
Atze Dijkstra, José Pedro Magalhães, Pierre Néron
2015 B conf
Hierarchy in Generic Programming Libraries.
MPC
José Pedro Magalhães, Andres Löh
2015 J jnl
Optimizing SYB traversals is easy!
Sci. Comput. Program.
Michael D. Adams, Andrew Farmer, José Pedro Magalhães
2014 — conf
Dual-band lowpass/bandpass periodic-type microstrip filter with Long-Term-Evolution (LTE) service mitigation.
LASCAS
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
2014 — conf
Functional generation of harmony and melody.
FARM@ICFP
José Pedro Magalhães, Hendrik Vincent Koops
2014 C conf
Generic Generic Programming.
PADL
José Pedro Magalhães, Andres Löh
2014 Misc conf
Generic Programming with Multiple Parameters.
FLOPS
José Pedro Magalhães
2014 C conf
Optimizing SYB is easy!
PEPM
Michael D. Adams, Andrew Farmer, José Pedro Magalhães
2014 — ed.
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014
WGP@ICFP
José Pedro Magalhães, Tiark Rompf
2013 — conf
A Duality of Sorts.
The Beauty of Functional Code
Ralf Hinze, José Pedro Magalhães, Nicolas Wu
2013 — conf
A functional approach to automatic melody harmonisation.
FARM@ICFP
Hendrik Vincent Koops, José Pedro Magalhães, W. Bas de Haas
2013 J jnl
Automatic Functional Harmonic Analysis.
Comput. Music. J.
W. Bas de Haas, José Pedro Magalhães, Frans Wiering, Remco C. Veltkamp
2013 — conf
Generic representations of tree transformations.
WGP@ICFP
Jeroen Bransen, José Pedro Magalhães
2013 C conf
Papoulis-Gerchberg Hybrid Filter Bank receiver for cognitive-/Software-Defined Radio systems.
ISCAS
José Pedro Magalhães, Teofilo Monteiro, José M. N. Vieira, Roberto Gómez-García, Nuno Borges Carvalho
2013 — conf
Real time front-end for cognitive radio inspired by the human cochlea.
RWS
Daniel Malafaia, José Pedro Magalhães, José M. N. Vieira, Nuno Borges Carvalho
2012 — conf
A Formal Comparison of Approaches to Datatype-Generic Programming
MSFP
José Pedro Magalhães, Andres Löh
2012 A conf
Equality proofs and deferred type errors: a compiler pearl.
ICFP
Dimitrios Vytiniotis, Simon L. Peyton Jones, José Pedro Magalhães
2012 — conf
Giving Haskell a promotion.
TLDI
Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães
2012 — conf
Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge.
ISMIR
W. Bas de Haas, José Pedro Magalhães, Frans Wiering
2012 C conf
Mixed-domain receiver architecture for white space software-defined radio scenarios.
ISCAS
Roberto Gómez-García, José M. N. Vieira, Nuno Borges Carvalho, José Pedro Magalhães
2012 — conf
Optimisation of Generic Programs Through Inlining.
IFL
José Pedro Magalhães
2012 — conf
Pure and Lazy Lambda Mining - An Experience Report.
IFL
Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra
2012 — conf
Sorting with bialgebras and distributive laws.
WGP@ICFP
Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, José Pedro Magalhães
2012 — conf
The right kind of generic programming.
WGP@ICFP
José Pedro Magalhães
2011 A conf
Functional modelling of musical harmony: an experience report.
ICFP
José Pedro Magalhães, W. Bas de Haas
2011 — conf
Generic programming for indexed datatypes.
WGP@ICFP
José Pedro Magalhães, Johan Jeuring
2011 — conf
Generic programming with indexed functors.
WGP@ICFP
Andres Löh, José Pedro Magalhães
2011 — conf
HarmTrace: Improving Harmonic Similarity Estimation Using Functional Harmony Analysis.
ISMIR
W. Bas de Haas, José Pedro Magalhães, Remco C. Veltkamp, Frans Wiering
2010 C conf
A generic deriving mechanism for Haskell.
Haskell
José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
2010 J jnl
A lightweight approach to datatype-generic rewriting.
J. Funct. Program.
Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães
2010 — conf
Generic selections of subexpressions.
ICFP-WGP
Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring
2010 C conf
Optimizing generics is easy!
PEPM
José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
2009 — conf
Generic Programming for Domain Reasoners.
Trends in Functional Programming
Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren
2008 — conf
Libraries for Generic Programming in Haskell.
Advanced Functional Programming
Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev