Type-Guided Music Composition

Please log in to watch this conference skillscast.

Types are a powerful language for describing specifications. In this talk, I will present my recent work on composing music from types. The idea is to represent composition rules as types and generate well-typed music using a program synthesizer. I will give a brief introduction to music theory, present a type-based encoding of composition rules, and discuss how to ensure "well-typed music does not sound wrong".

Download Slides as PDF