title: Articles about Liquidsoap

h2. The theory behind Liquidsoap

h3. Presentations

h4. ON2 presentation

Savonet was at the "ON2: Test Signals":http://testsignals.org/ conference in
Berlin, on October 22-23 2010. We presented Liquidsoap, but also held the first
Liquidsoap workshop.

`antiquotation`<center><iframe src="http://player.vimeo.com/video/16528307" width="400" height="300" frameborder="0"></iframe></center>`antiquotation`

h3. Publications

h4. Liquidsoap: a High-Level Programming Language for Multimedia Streaming

Many of the advanced features of the Liquidsoap language are described in
"Liquidsoap: a High-Level Programming Language for Multimedia Streaming":/assets/docs/bbm10.pdf.
The article details in particular Liquidsoap's handling of heterogeneous stream
contents (e.g. audio and video), as well as the model for clocks in the
language.

h4. De la webradio lambda à la &lambda;-webradio

The first published presentation of Liquidsoap was made in
"De la webradio lambda à la &lambda;-webradio":/assets/docs/bm08.pdf
(_Baelde D. and Mimram S. in proceedings of Journées Francophnes des Langages Applicatifs (JFLA), pages 47-61, 2008_)
-- yes, it's in French, sorry. It gives a broad description of the Liquidsoap
tool and explains the theory behind the language, which is formalized as a
variant of the typed &lambda;-calculus with labels and optional arguments. The
article describes the typing inference algorithm as well as some properties of
the language (confluence) and of typing (subject reduction, admissible rules,
termination of typed terms).
