José Pedro Magalhães

Giving Haskell a promotion

Brent A. Yorgey, Stephanie Weirich, Julien Cretin et al. · 2012 · 172 citations · Full text

A generic deriving mechanism for Haskell

José Pedro Magalhães, Atze Dijkstra, Johan Jeuring et al. · 2010 · 72 citations

Engineering, Type Theory, Read Classes +16

Equality proofs and deferred type errors

Dimitrios Vytiniotis, Simon Peyton Jones, José Pedro Magalhães · 2012 · 41 citations

Engineering, Automated Reasoning, Program Analysis +15

Bio-Inspired Hybrid Filter Bank for Software-Defined Radio Receivers

José Pedro Magalhães, José Vieira, Roberto Gómez‐García et al. · IEEE Transactions on Microwave Theory and Techniques · 2013 · 31 citations

Engineering, Analog-to-digital Converter, Filter Bank +14

Automatic Functional Harmonic Analysis

Wolfgang Haas, José Pedro Magalhães, Frans Wiering et al. · Computer Music Journal · 2013 · 31 citations · Full text

Spectral Theory, Music, Computational Musicology +15