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

Causal commutative arrows (CCA) extend arrows with additional constructs and laws that make them suitable for modelling domains such as functional reactive programming, differential equations and synchronous dataflow.

Earlier work has revealed that a syntactic transformation of CCA computations into normal form can result in significant performance improvements, sometimes increasing the speed of programs by orders of magnitude.

In this work we reformulate the normalization as a type class instance and derive optimized observation functions via a specialization to stream transformers to demonstrate that the same dramatic improvements can be achieved without leaving the language.

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 - 11:00
Causal Commutative Arrows Revisited
Jeremy YallopUniversity of Cambridge, UK, Hai LiuIntel Labs
11:00 - 11:25
Functional Reactive Programming, Refactored
Ivan PerezUniversity of Nottingham, Manuel Bärenz, Henrik Nilsson