I agree that this site is using cookies. You can find further informations here.
X
Magalhäes, José Pedro
4909  results:
Search for persons X
?
1

Optimizing SYB traversals is easy!:

Adams, Michael D. ; Farmer, Andrew ; Magalhães, José Pedro
Science of Computer Programming.  112 (2015)  - p. 170-193 , 2015
Link: https://doi.org/10.1016/..
 
?
2

Optimizing SYB is easy!:

, In: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation,
Adams, Michael D. ; Farmer, Andrew ; Magalhães, José Pedro - p. 71-82 , 2014
Link: https://dl.acm.org/doi/1..
 
?
3

Proceedings of the 10th ACM SIGPLAN workshop on Generic pro..:

Magalhäes, José Pedro ; Rompf, Tiark , 2014
Link: https://dl.acm.org/doi/1..
 
?
4

Functional generation of harmony and melody:

, In: Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design,
Magalhães, José Pedro ; Koops, Hendrik Vincent - p. 11-21 , 2014
Link: https://dl.acm.org/doi/1..
 
?
5

Generic representations of tree transformations:

, In: Proceedings of the 9th ACM SIGPLAN workshop on Generic programming,
Bransen, Jeroen ; Magalhães, José Pedro - p. 73-84 , 2013
Link: https://dl.acm.org/doi/1..
 
?
6

A functional approach to automatic melody harmonisation:

, In: Proceedings of the first ACM SIGPLAN workshop on Functional art, music, modeling & design,
Koops, Hendrik Vincent ; Magalhães, José Pedro ; de Haas, W. Bas - p. 47-58 , 2013
Link: https://dl.acm.org/doi/1..
 
?
7

Automatic Functional Harmonic Analysis:

De Haas, W. Bas ; Magalhães, José Pedro ; Wiering, Frans.
Computer Music Journal.  37 (2013)  4 - p. 37-53 , 2013
Link: https://www.jstor.org/st..
 
?
8

Automatic Functional Harmonic Analysis:

De Haas, W. Bas ; Magalhães, José Pedro ; Wiering, Frans.
Computer Music Journal.  37 (2013)  4 - p. 37-53 , 2013
Link: https://doi.org/10.1162/..
 
?
9

Equality proofs and deferred type errors: a compiler pearl:

Vytiniotis, Dimitrios ; Peyton Jones, Simon ; Magalhães, José Pedro
ACM SIGPLAN Notices.  47 (2012)  9 - p. 341-352 , 2012
Link: https://doi.org/10.1145/..
 
?
10

Equality proofs and deferred type errors : a compiler pe..:

, In: Proceedings of the 17th ACM SIGPLAN international conference on Functional programming,
Vytiniotis, Dimitrios ; Peyton Jones, Simon ; Magalhães, José Pedro - p. 341-352 , 2012
Link: https://dl.acm.org/doi/1..
 
?
11

Giving Haskell a promotion:

, In: Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation,
Yorgey, Brent A. ; Weirich, Stephanie ; Cretin, Julien... - p. 53-66 , 2012
Link: https://dl.acm.org/doi/1..
 
?
12

The right kind of generic programming:

, In: Proceedings of the 8th ACM SIGPLAN workshop on Generic programming,
Magalhães, José Pedro - p. 13-24 , 2012
Link: https://dl.acm.org/doi/1..
 
?
13

Sorting with bialgebras and distributive laws:

, In: Proceedings of the 8th ACM SIGPLAN workshop on Generic programming,
Hinze, Ralf ; James, Daniel W.H. ; Harper, Thomas.. - p. 69-80 , 2012
Link: https://dl.acm.org/doi/1..
 
?
14

Functional modelling of musical harmony: an experience repo..:

Magalhães, José Pedro ; de Haas, W. Bas
ACM SIGPLAN Notices.  46 (2011)  9 - p. 156-162 , 2011
Link: https://doi.org/10.1145/..
 
?
15

Functional modelling of musical harmony : an experience ..:

, In: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming,
Magalhães, José Pedro ; de Haas, W. Bas - p. 156-162 , 2011
Link: https://dl.acm.org/doi/1..
 
1-15