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

Displayed time zone: Osaka, Sapporo, Tokyo change

10:35 - 11:25
FRPHaskell at Noh Theater
Chair(s): David Terei Stanford
10:35
25m
Talk
Causal Commutative Arrows Revisited
Haskell
Jeremy Yallop University of Cambridge, UK, Hai Liu Intel Labs
DOI
11:00
25m
Talk
Functional Reactive Programming, Refactored
Haskell
Ivan Perez University of Nottingham, Manuel Bärenz , Henrik Nilsson
DOI