Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sat 9 Sep 2017 16:50 - 17:20 at L3 - Session 6: Papers/Demos Chair(s): Henrik Nilsson

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 result, a fairly general programming scheme can be defined in order to specify, compose and render both spatial media objects (e.g. 3D drawings) and timed media objects (e.g. Animation or Music). Each of these constructs is specified in Haskell via an adequate type class definition and an associated uniform data type construct. A simple monoid based semantics model of the turtle command language of Logo is detailed and extended throughout the paper. This allows for providing step by step introductions and usage examples of the algebraic concepts and constructs our proposal is based on.

Sat 9 Sep

Displayed time zone: Belfast change

16:50 - 17:40
Session 6: Papers/DemosFARM at L3
Chair(s): Henrik Nilsson University of Nottingham, UK
16:50
30m
Talk
Unified Media Programming: An Algebraic Approach
FARM
Simon Archipoff CNRS LaBRI, Inria Bordeaux,, David Janin Bordeaux INP / CNRS LaBRI / Bordeaux University
17:20
20m
Demonstration
Demo — Octopus: A High-Level Fast 3D Animation Language
FARM
Simon Archipoff CNRS LaBRI, Inria Bordeaux,, David Janin Bordeaux INP / CNRS LaBRI / Bordeaux University
Pre-print