Invited Talk on Type-Theoretic Music Composition (@ TYPES 2022)
Youyou Cong will be giving an invited talk titled “Composing Music from Types” at TYPES 2022.
Youyou Cong will be giving an invited talk titled “Composing Music from Types” at TYPES 2022.