Functional reactive programming, refactored

Perez, Ivan, Bärenz, Manuel and Nilsson, Henrik (2016) Functional reactive programming, refactored. In: Proceedings of the 9th International Symposium on Haskell (Haskell '16), 22-23 September 2016, Nara, Japan.

Full text not available from this repository.

Abstract

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.

Item Type: Conference or Workshop Item (Paper)
RIS ID: https://nottingham-repository.worktribe.com/output/809768
Keywords: Functional reactive programming, Reactive programming, Stream programming, Monadic streams, Haskell
Schools/Departments: University of Nottingham, UK > Faculty of Science > School of Computer Science
Depositing User: Nilsson, Henrik
Date Deposited: 01 Sep 2016 09:42
Last Modified: 04 May 2020 18:10
URI: https://eprints.nottingham.ac.uk/id/eprint/36159

Actions (Archive Staff Only)

Edit View Edit View