Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Thu 22 Sep 2016 11:00 - 11:25 at Noh Theater - FRP Chair(s): David Terei

Functional Reactive Programming (FRP) has come to mean many things. Yet, scratch the surface of the multitude of realisations, and there is great commonality between them. This paper investigates this commonality, turning it into a mathematically coherent and practical FRP realisation that allows us to express the functionality of many existing FRP systems and beyond by providing a minimal FRP core parameterised on a monad. We give proofs for our theoretical claims and we have verified the practical side by benchmarking a set of existing, non-trivial Yampa applications running on top of our new system with very good results.

Thu 22 Sep
Times are displayed in time zone: Osaka, Sapporo, Tokyo change

10:35 - 11:25
FRPHaskell at Noh Theater
Chair(s): David TereiStanford
10:35
25m
Talk
Causal Commutative Arrows Revisited
Haskell
Jeremy YallopUniversity of Cambridge, UK, Hai LiuIntel Labs
DOI
11:00
25m
Talk
Functional Reactive Programming, Refactored
Haskell
Ivan PerezUniversity of Nottingham, Manuel Bärenz, Henrik Nilsson
DOI