| 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 | 229 | 2012 |
| A generic deriving mechanism for Haskell JP Magalhaes, A Dijkstra, J Jeuring, A Löh Haskell 10, 37-48, 2010 | 114 | 2010 |
| Equality proofs and deferred type errors: a compiler pearl D Vytiniotis, S Peyton Jones, JP Magalhães ACM SIGPLAN Notices, 2012 | 51 | 2012 |
| Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge. WB De Haas, JP Magalhães, F Wiering ISMIR, 295-300, 2012 | 49 | 2012 |
| 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 | 48 | 2013 |
| Use of inpainting techniques for image correction RPM Berretty, JP Magalhaes, RBMK Gunnewiek, BGB Barenbrug, L Shao US Patent 9,256,926, 2016 | 41 | 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 | 37 | 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 | 30 | 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 |
| Coherent spatial and temporal occlusion generation RK Gunnewiek, RPM Berretty, B Barenbrug, JP Magalhães IS&T/SPIE Electronic Imaging, 723713-723713-10, 2009 | 25 | 2009 |
| 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 | 24 | 2011 |
| 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 | 22 | 2014 |
| A Formal Comparison of Approaches to Datatype-Generic Programming JP Magalhães, A Löh Arxiv preprint arXiv:1202.2920, 2012 | 21 | 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 | 14 | 2011 |
| Optimisation of generic programs through inlining JP Magalhães Symposium on Implementation and Application of Functional Languages, 104-121, 2012 | 12 | 2012 |
Johan JeuringProfessor of Software Technology for Learning and Teaching, Utrecht UniversityVerified email at uu.nl
