José Pedro Magalhães

Cited by

	All	Since 2020
Citations	983	259
h-index	17	9
i10-index	22	7

100

200920102011201220132014201520162017201820192020202120222023202420255 11 27 92 93 97 95 68 64 93 71 75 58 53 44 26 3

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
Atze DijkstraAssistant Professor, Utrecht UniversityVerified email at atzedijkstra.net
Brent YorgeyHendrix CollegeVerified email at hendrix.edu
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
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
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Sean LeatherPhD Student, Computer Science, Utrecht UniversityVerified email at uu.nl
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	120	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	59	2013
Equality proofs and deferred type errors: a compiler pearl D Vytiniotis, S Peyton Jones, JP Magalhães ACM SIGPLAN Notices, 2012	53	2012
Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge. WB De Haas, JP Magalhães, F Wiering ISMIR, 295-300, 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
Automatic Functional Harmonic Analysis WB De Haas, JP Magalhães, F Wiering, RC Veltkamp Computer Music Journal 37 (4), 37-53, 2013	42	2013
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
Functional modelling of musical harmony: an experience report JP Magalhaes, WB de Haas ACM SIGPLAN Notices 46 (9), 156-162, 2011	36	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	28	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
A Formal Comparison of Approaches to Datatype-Generic Programming JP Magalhães, A Löh Arxiv preprint arXiv:1202.2920, 2012	20	2012
Optimizing SYB is easy! MD Adams, A Farmer, JP Magalhães Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and …, 2014	18	2014
The right kind of generic programming JP Magalhães Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 13-24, 2012	18	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
Optimisation of generic programs through inlining JP Magalhães Symposium on Implementation and Application of Functional Languages, 104-121, 2012	11	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