Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Fri 23 Aug 2019 11:30 - 12:00 at Stockholm - Music Generation Chair(s): David Janin

Western music of the common practice period tends to loosely follow sets of rules, which were developed over time to ensure the aesthetic quality of the composition. To help analyze and synthesize tonal music, it is worthwhile to encode these rules into a programming language. As shown by recent studies, functional programming languages are particularly suited to this task.

We present Music Tools, a library of small tools that can be combined functionally to help analyze and synthesize music. To allow simple and natural encoding of rules, we built the library in Agda, which is a functional language with full dependent types. As an application of the library, we demonstrate an implementation of species counterpoint. We show how Agda’s rich type system enables us to express required rules, and helps both human and computers compose correct counterpoint.

Fri 23 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:00: FARM 2019 - Music Generation at Stockholm
Chair(s): David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
farm-2019-papers10:30 - 11:00
Orestis MelkonianUtrecht University
farm-2019-papers11:00 - 11:30
Donya QuickStevens Institute of Technology, Kelland ThomasStevens Institute of Technology
farm-2019-papers11:30 - 12:00
Youyou CongTokyo Institute of Technology, John LeoHalfaya Research