ICFP

Like natural language, music can be described as being composed of various parts, which combine together to form a set-theoretic or logical entity. The conceptualized parts are more basic than the music seen on a page; they are the musical objects ...

Whereas formal mathematical theories are well studied, computers cannot yet adequately represent and reason about mathematical dialogues and other informal texts. To address this gap, we have developed a representation and reasoning strategy that draws ...

This paper is an introduction to FAUST, a functional programming language for sound synthesis and audio processing. We assume that the reader has some familiarity with functional programming, but no previous knowledge in signal processing. The text ...

Functional Programming promises highly-declarative code, efficient, parallelisable execution, modularity and reusability. In spite of these advantages, the use of pure Functional Languages in commercial games is still rare. This is, in part, due to the ...

In this paper, we aim at defining a simple and sound mathematical framework for describing temporal media programming language semantics. It occurs that semigroup theory offers various concepts that are especially well suited for this purpose. As a ...

This is a summary of the demos presented at the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM), prepared prior to the event.

A concert of performances in the FARM workshop tradition, taking place 9th September 2017 in the Old Fire Station, Oxford. The performers will all use functional programming and related techniques, to create live music and visuals. We introduce this ...