Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Fri 8 Sep 2017 11:00 - 11:30 at L1 - Day 2, Session 2

Functional Reactive Programming (FRP) allows interactive applications to be modelled in a declarative manner using time-varying values. For practical reasons, however, operational constraints are often imposed, such as having a fixed time domain, time always flowing forward, and limiting the exploration of the past.

In this paper we show how these constraints can be overcome, giving local control over the time domain, the direction of time and the sampling step. We study the behaviour of FRP expressions when time flows backwards, and demonstrate how to synchronize subsystems running asynchronously and at different sampling rates. We have verified the practicality of our approach with two non-trivial games in which time control is central to the gameplay.

I like Game Programming, Multimedia and Functional Languages. I am 4th-year PhD student @ Nottingham.

My supervisors are Henrik Nilsson and Graham Hutton.

I am also the lead software developer at Keera Studios(tm), a game programming company that uses Functional Languages to deliver games for Android, iOS and desktop, and apps for mobile platforms.

Fri 8 Sep

Displayed time zone: Belfast change

10:30 - 11:30
Day 2, Session 2Haskell at L1
Well-Typed Music Does Not Sound Wrong (Experience Report)
Dmitrij Szamozvancev , Michael Gale University of Warwick, UK
Back to the Future: Time Travel in FRP
Ivan Perez University of Nottingham, UK