Abstract. We present Music Tools, an Agda library for analyzing and synthesizing music. The library uses dependent types to simplify encoding of music rules, ...
Aug 23, 2019 · As an application of the library, we demonstrate an implementation of species counterpoint, based on the rules given by Fux [1965]. Thanks to ...
Aug 20, 2019 · We present Music Tools, an Agda library for analyzing and synthesizing music. The library uses dependent types to simplify encoding of music ...
This paper describes the SillyTone Squish Factory, a haptically engaging musical interface. It contains the motivation behind the device's development, a ...
Demo: Counterpoint by Construction (FARM 2019) - ICFP 2019
icfp19.sigplan.org › details › Demo-Cou...
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 ...
We present Music Tools, an Agda library for analyzing and synthesizing music. The library uses dependent types to simplify encoding of music rules, ...
Duration: 21:49
Posted: Sep 22, 2019
Posted: Sep 22, 2019
Missing: Demo: | Show results with:Demo:
Counterpoint is the foundation that allows musicians to play or sing together and weave their independent parts together to form harmony. Each part works on its ...
In first-species counterpoint, we begin with a cantus firmus (new or existing) and compose a single new line—called the counterpoint—above or below it. That new ...
The second species of species counterpoint sees the counterpoint line move twice as fast as the cantus firmus. This introduces the ideas of strong versus weak ...