José Pedro Magalhães

Cited by

	All	Since 2019
Citations	974	320
h-index	17	10
i10-index	22	10

100

20092010201120122013201420152016201720182019202020212022202320245 11 27 91 93 97 97 67 68 91 74 75 59 52 43 17

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Johan JeuringProfessor of Software Technology for Learning and Teaching, ICS & FI, Utrecht UniversityVerified email at uu.nl
W. Bas de HaasChordifyVerified email at chordify.net
Andres LöhHaskell Consultant, Well-Typed LLPVerified email at well-typed.com
Dimitrios VytiniotisDeepMindVerified email at google.com
Simon Peyton JonesEpic GamesVerified email at epicgames.com
Remco C. Veltkampprofessor of Computer Science, Utrecht UniversityVerified email at uu.nl
Bastiaan HeerenOpen University of the NetherlandsVerified email at ou.nl
Brent YorgeyHendrix CollegeVerified email at hendrix.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Atze DijkstraAssistant Professor, Utrecht UniversityVerified email at atzedijkstra.net
Hendrik Vincent KoopsSenior Machine Learning & Audio Scientist @ Universal Music GroupVerified email at umusic.com
Nicolas WuReader in Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Sean LeatherPhD Student, Computer Science, Utrecht UniversityVerified email at uu.nl
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Jeroen BransenUtrecht UniversityVerified email at uu.nl
Andrew FarmerFacebookVerified email at fb.com
Wouter SwierstraUniversiteit UtrechtVerified email at uu.nl
José Pedro CorreiaUniversity of MinhoVerified email at med.uminho.pt

José Pedro Magalhães

Standard Chartered Bank

Verified email at cs.ox.ac.uk - Homepage

Programming Languages Functional Programming Generic Programming Haskell


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Giving Haskell a promotion BA Yorgey, S Weirich, J Cretin, S Peyton Jones, D Vytiniotis, ... Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and …, 2012	232	2012
A generic deriving mechanism for Haskell JP Magalhaes, A Dijkstra, J Jeuring, A Löh Haskell 10, 37-48, 2010	118	2010
System and method for motion estimation using image depth information B Barenbrug, RP Berretty, CN Cordes, RK Gunnewiek, JP Magalhaes, ... US Patent 8,515,134, 2013	57	2013
Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge. WB De Haas, JP Magalhães, F Wiering ISMIR, 295-300, 2012	52	2012
Equality proofs and deferred type errors: a compiler pearl D Vytiniotis, S Peyton Jones, JP Magalhães ACM SIGPLAN Notices, 2012	51	2012
Use of inpainting techniques for image correction RPM Berretty, JP Magalhaes, RBMK Gunnewiek, BGB Barenbrug, L Shao US Patent 9,256,926, 2016	45	2016
A functional approach to automatic melody harmonisation HV Koops, JP Magalhães, WB De Haas Proceedings of the first ACM SIGPLAN workshop on Functional art, music …, 2013	41	2013
Automatic Functional Harmonic Analysis WB De Haas, JP Magalhães, F Wiering, RC Veltkamp Computer Music Journal 37 (4), 37-53, 2013	40	2013
Functional modelling of musical harmony: an experience report JP Magalhaes, WB de Haas ACM SIGPLAN Notices 46 (9), 156-162, 2011	35	2011
Optimizing generics is easy! JP Magalhaes, S Holdermans, J Jeuring, A Löh Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010	31	2010
Generic programming with indexed functors A Löh, JP Magalhães Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 1-12, 2011	27	2011
HarmTrace: improving harmonic similarity estimation using functional harmony analysis WB de Haas, JP Magalhaes, RC Veltkamp, F Wiering International Society for Music Information Retrieval, 2011	23	2011
Coherent spatial and temporal occlusion generation RK Gunnewiek, RPM Berretty, B Barenbrug, JP Magalhães IS&T/SPIE Electronic Imaging, 723713-723713-10, 2009	23	2009
Libraries for generic programming in Haskell J Jeuring, S Leather, JP Magalhaes, AR Yakushev Proceedings of the 6th international conference on Advanced functional …, 2008	23	2008
Optimizing SYB is easy! MD Adams, A Farmer, JP Magalhães Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and …, 2014	21	2014
A Formal Comparison of Approaches to Datatype-Generic Programming JP Magalhães, A Löh Arxiv preprint arXiv:1202.2920, 2012	20	2012
The right kind of generic programming JP Magalhães Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 13-24, 2012	17	2012
Chordify: Chord transcription for the masses WB De Haas, JP Magalhaes, D ten Heggeler, G Bekenkamp, ... Demonstration presented at the International Society for Music Information …, 2012	15	2012
Generic programming for indexed datatypes JP Magalhães, J Jeuring Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 37-46, 2011	13	2011
Less Is More: Generic Programming Theory and Practice JP Magalhães Universiteit Utrecht, 2012	12	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors