Weighted Refinement Types for Counterpoint Composition

Explore a 27-minute conference talk from FARM 2023 that introduces weighted refinement types as a novel approach to composing species counterpoint. Delve into how this variation of refinement types, where each predicate carries a weight representing its importance, can relax the restrictive nature of traditional refinement types when applied to music theory. Learn about the core features of the proposed weighted refinement type system specifically designed for counterpoint composition. Discover potential applications of this concept beyond the musical domain. Presented by Youyou Cong from the Tokyo Institute of Technology, this talk offers insights into the intersection of type theory and music composition, providing a fresh perspective on rule-based creative processes.