Jos Pedro Magalhes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
7
Active years
2010–2015
Best venue rank
A
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | MPC | Hierarchy in Generic Programming Libraries. | Jos Pedro Magalhes, Andres Lh |
| 2014 | FLOPS | Generic Programming with Multiple Parameters. | Jos Pedro Magalhes |
| 2014 | ICFP | Functional generation of harmony and melody. | Jos Pedro Magalhes, Hendrik Vincent Koops |
| 2014 | PADL | Generic Generic Programming. | Jos Pedro Magalhes, Andres Lh |
| 2014 | PEPM | Optimizing SYB is easy! | Michael D. Adams, Andrew Farmer, Jos Pedro Magalhes |
| 2013 | ICFP | Generic representations of tree transformations. | Jeroen Bransen, Jos Pedro Magalhes |
| 2013 | ICFP | A functional approach to automatic melody harmonisation. | Hendrik Vincent Koops, Jos Pedro Magalhes, W. Bas de Haas |
| 2013 | ISCAS | Papoulis-Gerchberg Hybrid Filter Bank receiver for cognitive-/Software-Defined Radio systems. | Jos Pedro Magalhes, Teofilo Monteiro, Jos M. N. Vieira, Roberto Gmez-Garca, Nuno Borges Carvalho |
| 2012 | ICFP | Sorting with bialgebras and distributive laws. | Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, Jos Pedro Magalhes |
| 2012 | ICFP | The right kind of generic programming. | Jos Pedro Magalhes |
| 2012 | ICFP | Equality proofs and deferred type errors: a compiler pearl. | Dimitrios Vytiniotis, Simon L. Peyton Jones, Jos Pedro Magalhes |
| 2012 | ISCAS | Mixed-domain receiver architecture for white space software-defined radio scenarios. | Roberto Gmez-Garca, Jos M. N. Vieira, Nuno Borges Carvalho, Jos Pedro Magalhes |
| 2011 | ICFP | Generic programming with indexed functors. | Andres Lh, Jos Pedro Magalhes |
| 2011 | ICFP | Functional modelling of musical harmony: an experience report. | Jos Pedro Magalhes, W. Bas de Haas |
| 2011 | ICFP | Generic programming for indexed datatypes. | Jos Pedro Magalhes, Johan Jeuring |
| 2010 | HASKELL | A generic deriving mechanism for Haskell. | Jos Pedro Magalhes, Atze Dijkstra, Johan Jeuring, Andres Lh |
| 2010 | ICFP | Generic selections of subexpressions. | Martijn Van Steenbergen, Jos Pedro Magalhes, Johan Jeuring |
| 2010 | PEPM | Optimizing generics is easy! | Jos Pedro Magalhes, Stefan Holdermans, Johan Jeuring, Andres Lh |