Volgen
José Pedro Magalhães
José Pedro Magalhães
Standard Chartered
Geverifieerd e-mailadres voor cs.ox.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
2202012
A generic deriving mechanism for Haskell
JP Magalhaes, A Dijkstra, J Jeuring, A Löh
Haskell 10, 37-48, 2010
1022010
A lightweight approach to datatype-generic rewriting
T Van Noort, A RODRIGUEZ YAKUSHEV, S Holdermans, J Jeuring, ...
Journal of Functional Programming 20 (3-4), 375-413, 2010
642010
Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge.
WB De Haas, JP Magalhães, F Wiering
ISMIR, 295-300, 2012
502012
Equality proofs and deferred type errors: a compiler pearl
D Vytiniotis, S Peyton Jones, JP Magalhães
Draft version, 2012
472012
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
432013
Use of inpainting techniques for image correction
RPM Berretty, JP Magalhaes, RBMK Gunnewiek, BGB Barenbrug, L Shao
US Patent 9,256,926, 2016
402016
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
352013
Automatic Functional Harmonic Analysis
WB De Haas, JP Magalhães, F Wiering, RC Veltkamp
Computer Music Journal 37 (4), 37-53, 2013
342013
Functional modelling of musical harmony: an experience report
JP Magalhaes, WB de Haas
ACM SIGPLAN Notices 46 (9), 156-162, 2011
332011
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
302010
Coherent spatial and temporal occlusion generation
RK Gunnewiek, RPM Berretty, B Barenbrug, JP Magalhães
IS&T/SPIE Electronic Imaging, 723713-723713-10, 2009
262009
Generic programming with indexed functors
A Löh, JP Magalhães
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 1-12, 2011
252011
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
232011
Libraries for generic programming in Haskell
J Jeuring, S Leather, JP Magalhaes, AR Yakushev
Proceedings of the 6th international conference on Advanced functional …, 2008
232008
A Formal Comparison of Approaches to Datatype-Generic Programming
JP Magalhães, A Löh
Arxiv preprint arXiv:1202.2920, 2012
212012
Optimizing SYB is easy!
MD Adams, A Farmer, JP Magalhães
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and …, 2014
202014
The right kind of generic programming
JP Magalhães
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, 13-24, 2012
182012
Generic programming for indexed datatypes
JP Magalhães, J Jeuring
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 37-46, 2011
142011
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
122012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20