Concepedia

José Pedro Magalhães

JP

Statistics

Publications

20

Citations

604

H-Index

14

Active since

2009

Affiliations

Utrecht University(Current)

University of Oxford

Universidad de Alcalá

University of Aveiro

Instituto de Telecomunicações

José Pedro Magalhães is an author at Utrecht University specializing in computer science, type systems, and programming languages.

Publications per year

2009–2014

20

Publications

20

Giving Haskell a promotion

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

, , +15

A generic deriving mechanism for Haskell

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

, , +15

Equality proofs and deferred type errors

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

, , +9

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

, , +17

Automatic Functional Harmonic Analysis

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

, , +15

1–5 of 20