Libraries for Generic Programming in Haskell. - Johan Jeuring; Sean Leather; José Pedro Magalhães; Alexey Rodriguez Yakushev (Advanced Functional Programming, 2008)

Generic Programming for Domain Reasoners. - Johan Jeuring; José Pedro Magalhães; Bastiaan Heeren (Trends in Functional Programming, 2009)

A generic deriving mechanism for Haskell. - José Pedro Magalhães; Atze Dijkstra; Johan Jeuring; Andres Löh (Haskell, 2010)

Generic selections of subexpressions. - Martijn Van Steenbergen; José Pedro Magalhães; Johan Jeuring (ICFP-WGP, 2010)

Optimizing generics is easy! - José Pedro Magalhães; Stefan Holdermans; Johan Jeuring; Andres Löh (PEPM, 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)

Generic programming with indexed functors. - Andres Löh; José Pedro Magalhães (WGP@ICFP, 2011)

Functional modelling of musical harmony: an experience report. - José Pedro Magalhães; W. Bas de Haas (ICFP, 2011)

Generic programming for indexed datatypes. - José Pedro Magalhães; Johan Jeuring (WGP@ICFP, 2011)

HarmTrace: Improving Harmonic Similarity Estimation Using Functional Harmony Analysis. - W. Bas de Haas; José Pedro Magalhães; Remco C. Veltkamp; Frans Wiering (ISMIR, 2011)

Sorting with bialgebras and distributive laws. - Ralf Hinze; Daniel W. H. James; Thomas Harper; Nicolas Wu; José Pedro Magalhães (WGP@ICFP, 2012)

The right kind of generic programming. - José Pedro Magalhães (WGP@ICFP, 2012)

Equality proofs and deferred type errors: a compiler pearl. - Dimitrios Vytiniotis; Simon L. Peyton Jones; José Pedro Magalhães (ICFP, 2012)

Optimisation of Generic Programs Through Inlining. - José Pedro Magalhães (IFL, 2012)

Pure and Lazy Lambda Mining - An Experience Report. - Nicolas Wu; José Pedro Magalhães; Jeroen Bransen; Wouter Swierstra (IFL, 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 (ISCAS, 2012)

Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge. - W. Bas de Haas; José Pedro Magalhães; Frans Wiering (ISMIR, 2012)

Giving Haskell a promotion. - Brent A. Yorgey; Stephanie Weirich; Julien Cretin; Simon L. Peyton Jones; Dimitrios Vytiniotis; José Pedro Magalhães (TLDI, 2012)

A Formal Comparison of Approaches to Datatype-Generic Programming - José Pedro Magalhães; Andres Löh (MSFP, 2012)

A Duality of Sorts. - Ralf Hinze; José Pedro Magalhães; Nicolas Wu (The Beauty of Functional Code, 2013)

Generic representations of tree transformations. - Jeroen Bransen; José Pedro Magalhães (WGP@ICFP, 2013)

A functional approach to automatic melody harmonisation. - Hendrik Vincent Koops; José Pedro Magalhães; W. Bas de Haas (FARM@ICFP, 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 (ISCAS, 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 (RWS, 2013)

Automatic Functional Harmonic Analysis. - W. Bas de Haas; José Pedro Magalhães; Frans Wiering; Remco C. Veltkamp (Comput. Music. J., 2013)

Generic Programming with Multiple Parameters. - José Pedro Magalhães (FLOPS, 2014)

Functional generation of harmony and melody. - José Pedro Magalhães; Hendrik Vincent Koops (FARM@ICFP, 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 (LASCAS, 2014)

Generic Generic Programming. - José Pedro Magalhães; Andres Löh (PADL, 2014)

Optimizing SYB is easy! - Michael D. Adams 001; Andrew Farmer; José Pedro Magalhães (PEPM, 2014)

Hierarchy in Generic Programming Libraries. - José Pedro Magalhães; Andres Löh (MPC, 2015)

Optimizing SYB traversals is easy! - Michael D. Adams 001; Andrew Farmer; José Pedro Magalhães (Sci. Comput. Program., 2015)

Functional Programming in Financial Markets (Experience Report). - Atze Dijkstra; José Pedro Magalhães; Pierre Néron (Proc. ACM Program. Lang., 2024)