SkillsCast
About the Speaker
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".
Type-Guided Music Composition
Youyou Cong
Assistant Professor, Department of Mathematical and Computing Science
Tokyo Institute of Technology