SkillsCast
Type-Guided Music Composition
SkillsCast
About the Speaker
This SkillsCast is currently only available to registered attendees of YOW! Lambda Jam 2022
It will be freely available to all Skills Matter members once the YOW! Lambda Jam 2022 early-access window expires on August 17, 2022.
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".
Thank you to our sponsors and partners
Platinum
Gold
Silver
Bronze
Partners
Type-Guided Music Composition
Youyou Cong
Assistant Professor, Department of Mathematical and Computing Science
Tokyo Institute of Technology