default search action

combined dblp search
author search
venue search
publication search

ask others

José Pedro Magalhães

> Home > Persons

Person information

affiliation: University of Oxford, Department of Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2015
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/AdamsFM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/AdamsFM15
Michael D. Adams, Andrew Farmer, José Pedro Magalhães:
Optimizing SYB traversals is easy! Sci. Comput. Program. 112: 170-193 (2015)
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/mpc/MagalhaesL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mpc/MagalhaesL15
José Pedro Magalhães, Andres Löh:
Hierarchy in Generic Programming Libraries. MPC 2015: 93-112
2014
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/Magalhaes14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/Magalhaes14
José Pedro Magalhães:
Generic Programming with Multiple Parameters. FLOPS 2014: 136-151
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/MagalhaesK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/MagalhaesK14
José Pedro Magalhães, Hendrik Vincent Koops:
Functional generation of harmony and melody. FARM@ICFP 2014: 11-21
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/lascas/Gomez-GarciaLMB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lascas/Gomez-GarciaLMB14
Roberto Gómez-García, Raul Loeches-Sanchez, José Maria Muñoz-Ferreras, José Pedro Borrego, José Pedro Magalhães, Nuno Borges Carvalho, José M. N. Vieira, Félix Pérez-Martínez:
Dual-band lowpass/bandpass periodic-type microstrip filter with Long-Term-Evolution (LTE) service mitigation. LASCAS 2014: 1-4
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/MagalhaesL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/MagalhaesL14
José Pedro Magalhães, Andres Löh:
Generic Generic Programming. PADL 2014: 216-231
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/AdamsFM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/AdamsFM14
Michael D. Adams, Andrew Farmer, José Pedro Magalhães:
Optimizing SYB is easy! PEPM 2014: 71-82
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/2014wgp
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/2014wgp
José Pedro Magalhães, Tiark Rompf:
Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014. ACM 2014, ISBN 978-1-4503-3042-8 [contents]
2013
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/comj/HaasMWV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comj/HaasMWV13
W. Bas de Haas, José Pedro Magalhães, Frans Wiering, Remco C. Veltkamp:
Automatic Functional Harmonic Analysis. Comput. Music. J. 37(4): 37-53 (2013)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/HinzeMW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/HinzeMW13
Ralf Hinze, José Pedro Magalhães, Nicolas Wu:
A Duality of Sorts. The Beauty of Functional Code 2013: 151-167
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/KoopsMH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/KoopsMH13
Hendrik Vincent Koops, José Pedro Magalhães, W. Bas de Haas:
A functional approach to automatic melody harmonisation. FARM@ICFP 2013: 47-58
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/BransenM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/BransenM13
Jeroen Bransen, José Pedro Magalhães:
Generic representations of tree transformations. WGP@ICFP 2013: 73-84
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/MagalhaesMVGC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/MagalhaesMVGC13
José Pedro Magalhães, Teofilo Monteiro, José M. N. Vieira, Roberto Gómez-García, Nuno Borges Carvalho:
Papoulis-Gerchberg Hybrid Filter Bank receiver for cognitive-/Software-Defined Radio systems. ISCAS 2013: 69-72
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/rws/MalafaiaMVC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rws/MalafaiaMVC13
Daniel Malafaia, José Pedro Magalhães, José M. N. Vieira, Nuno Borges Carvalho:
Real time front-end for cognitive radio inspired by the human cochlea. RWS 2013: 16-18
2012
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Magalhaes12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Magalhaes12
José Pedro Magalhães:
The right kind of generic programming. WGP@ICFP 2012: 13-24
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/HinzeJHWM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/HinzeJHWM12
Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, José Pedro Magalhães:
Sorting with bialgebras and distributive laws. WGP@ICFP 2012: 69-80
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/VytiniotisJM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/VytiniotisJM12
Dimitrios Vytiniotis, Simon L. Peyton Jones, José Pedro Magalhães:
Equality proofs and deferred type errors: a compiler pearl. ICFP 2012: 341-352
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Magalhaes12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Magalhaes12
José Pedro Magalhães:
Optimisation of Generic Programs Through Inlining. IFL 2012: 104-121
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/WuMBS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/WuMBS12
Nicolas Wu, José Pedro Magalhães, Jeroen Bransen, Wouter Swierstra:
Pure and Lazy Lambda Mining - An Experience Report. IFL 2012: 207-223
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iscas/Gomez-GarciaVCM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscas/Gomez-GarciaVCM12
Roberto Gómez-García, José M. N. Vieira, Nuno Borges Carvalho, José Pedro Magalhães:
Mixed-domain receiver architecture for white space software-defined radio scenarios. ISCAS 2012: 822-825
[c12]
- view
  - electronic edition @ ismir.net (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/ismir/HaasMW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismir/HaasMW12
W. Bas de Haas, José Pedro Magalhães, Frans Wiering:
Improving Audio Chord Transcription by Exploiting Harmonic and Metric Knowledge. ISMIR 2012: 295-300
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/tldi/YorgeyWCJVM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tldi/YorgeyWCJVM12
Brent A. Yorgey, Stephanie Weirich, Julien Cretin, Simon L. Peyton Jones, Dimitrios Vytiniotis, José Pedro Magalhães:
Giving Haskell a promotion. TLDI 2012: 53-66
[c10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1202-2920
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-2920
José Pedro Magalhães, Andres Löh:
A Formal Comparison of Approaches to Datatype-Generic Programming. MSFP 2012: 50-67
2011
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/LohM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/LohM11
Andres Löh, José Pedro Magalhães:
Generic programming with indexed functors. WGP@ICFP 2011: 1-12
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/MagalhaesJ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/MagalhaesJ11
José Pedro Magalhães, Johan Jeuring:
Generic programming for indexed datatypes. WGP@ICFP 2011: 37-46
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/MagalhaesH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/MagalhaesH11
José Pedro Magalhães, W. Bas de Haas:
Functional modelling of musical harmony: an experience report. ICFP 2011: 156-162
[c6]
- view
  - electronic edition @ ismir.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/ismir/HaasMVW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismir/HaasMVW11
W. Bas de Haas, José Pedro Magalhães, Remco C. Veltkamp, Frans Wiering:
HarmTrace: Improving Harmonic Similarity Estimation Using Functional Harmony Analysis. ISMIR 2011: 67-72
2010
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/NoortYHJHM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/NoortYHJHM10
Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães:
A lightweight approach to datatype-generic rewriting. J. Funct. Program. 20(3-4): 375-413 (2010)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/MagalhaesDJL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/MagalhaesDJL10
José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh:
A generic deriving mechanism for Haskell. Haskell 2010: 37-48
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/SteenbergenMJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/SteenbergenMJ10
Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring:
Generic selections of subexpressions. ICFP-WGP 2010: 37-48
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/MagalhaesHJL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/MagalhaesHJL10
José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh:
Optimizing generics is easy! PEPM 2010: 33-42

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/sfp/JeuringMH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfp/JeuringMH09
Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren:
Generic Programming for Domain Reasoners. Trends in Functional Programming 2009: 113-128
2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/afp/JeuringLMY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/afp/JeuringLMY08
Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev:
Libraries for Generic Programming in Haskell. Advanced Functional Programming 2008: 165-229

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.