José Pedro Magalhães

Daniel Malafaia, José Pedro Magalhães, José Vieira, Nuno Borges Carvalho: Real time front-end for cognitive radio inspired by the human cochlea. RWS 2013: 16-18

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

Roberto Gómez-Garcia, José Vieira, Nuno Borges Carvalho, José Pedro Magalhães: Mixed-domain receiver architecture for white space software-defined radio scenarios. ISCAS 2012: 822-825

Bas de Haas, José Pedro Magalhães, Frans Wiering: Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge. ISMIR 2012: 295-300

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

José Pedro Magalhães, Andres Löh: A Formal Comparison of Approaches to Datatype-Generic Programming. MSFP 2012: 50-67

José Pedro Magalhães, Bas de Haas: Functional modelling of musical harmony: an experience report. ICFP 2011: 156-162

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

Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães: A lightweight approach to datatype-generic rewriting. J. Funct. Program. 20(3-4): 375-413 (2010)

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

Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring: Generic selections of subexpressions. ICFP-WGP 2010: 37-48

José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh: Optimizing generics is easy! PEPM 2010: 33-42

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