Functional modelling of musical harmony: An experience report

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2011, Pages 156-162

  Magalhães, José Pedro ^a   De Haas, W Bas ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Experimentation; Languages

Indexed keywords

CHORD SEQUENCE; DATA TYPE; EXPERIENCE REPORT; EXPERIMENTATION; FORMALISATION; FUNCTIONAL PROGRAMMING TECHNIQUE; HARD PROBLEMS; HARMONY THEORY; HASKELL; MUSIC THEORY; PERFECT MATCHES; TONAL MUSIC;

COMPUTER MUSIC; COMPUTER PROGRAMMING LANGUAGES; HARMONIC FUNCTIONS;

FUNCTIONAL PROGRAMMING;

EID: 80054075010     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2034773.2034797     Document Type: Conference Paper

References (20)

1. E. Brady. Idris-systems programming meets full dependent yypes. In PLPV'11, pages 43-54, 2011.
2. M. M. T. Chakravarty, G. C. Ditu, and R. Leshchinskiy. Instant generics: Fast and easy, 2009. Draft version.
3. D. Devriese and F. Piessens. Explicitly recursive grammar combinators-a better model for shallow parser DSLs. In PADL'11, pages 84-98. Springer, 2011.
4. J. Stephen Downie. Music information retrieval. Annual Review of Information Science and Technology, 37(1):295-340, 2003.
5. W. B. de Haas, M. Rohrmeier, R. C. Veltkamp, and F. Wiering. Modeling harmonic similarity using a generative grammar of tonal harmony. In Proceedings of the Tenth International Conference on Music Information Retrieval (ISMIR'09), pages 549-554, 2009.
6. E. Lempsink, S. Leather, and A. Löh. Type-safe diff for families of datatypes. In WGP'09, pages 61-72. ACM, 2009.
7. F. Lerdahl and R. Jackendoff. A Generative Theory of Tonal Music. The MIT Press, 1983. ISBN 0-262-62107-X.
8. J. P. Magalhães and J. Jeuring. Generic programming for indexed datatypes. Technical Report UU-CS-2011-021, Department of Information and Computing Sciences, Utrecht University, 2011.
9. J. P. Magalhães, S. Holdermans, J. Jeuring, and A. Löh. Optimizing generics is easy! In PEPM'10, pages 33-42. ACM, 2010.
10. C. D. Manning, P. Raghavan, and H. Schütze. Introduction to Information Retrieval. Cambridge University Press, 2008.
11. J. F. Mountford. The musical scales of Plato's Republic. The Classical Quarterly, 17(3/4):125-136, 1923.
12. U. Norell. Dependently typed programming in agda. In AFP'08, volume 5832 of LNCS, pages 230-266. Springer, 2009.
13. S. Peyton Jones, D. Vytiniotis, S. Weirich, and G. Washburn. Simple unification-based type inference for GADTs. In ICFP'06, pages 50-61.ACM, 2006.
14. W. Piston and M. DeVoto. Harmony. Victor Gollancz, 1991.
15. H. Riemann. Vereinfachte Harmonielehre; oder, die Lehre von den tonalen Funktionen der Akkorde. Augener, 1893.
16. M. Rohrmeier. A generative grammar approach to diatonic harmonic structure. In Proceedings of the 4th Sound and Music Computing Conference, pages 97-100, 2007.
17. M. Rohrmeier. Towards a generative syntax of tonal harmony. Journal of Mathematics and Music, 5(1):35-53, 2011.
18. R. Schrijvers, S. Peyton Jones, M. M. T. Chakravarty, and M. Sulzmann. Type checking with open type functions. In ICFP'08, pages 51-62. ACM, 2008.
19. M. J. Steedman. A generative grammar for jazz chord sequences. Music Perception, 2(1):52-77, 1984.
20. S. Doaitse Swierstra. Combinator Parsing: A Short Tutorial, pages 252-300. Springer-Verlag, 2009.