Functional reactive programming, refactored

QR Code

Functional reactive programming, refactored

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...

Full description

Bibliographic Details
Main Authors:	Perez, Ivan, Bärenz, Manuel, Nilsson, Henrik
Format:	Conference or Workshop Item
Published:	2016
Subjects:	Functional reactive programming Reactive programming Stream programming Monadic streams Haskell
Online Access:	https://eprints.nottingham.ac.uk/36159/

Similar Items

Extensible and robust functional reactive programming
by: Perez Dominguez, Ivan
Published: (2018)

Towards safe and efficient functional reactive programming
by: Sculthorpe, Neil
Published: (2011)

Testing and debugging functional reactive programming
by: Perez, Ivan, et al.
Published: (2017)

Bridging the GUI gap with reactive values and relations
by: Perez, Ivan, et al.
Published: (2015)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

The continuity of monadic stream functions
by: Capretta, Venanzio, et al.
Published: (2017)

Supermonads: one notion to bind them all
by: Bracker, Jan, et al.
Published: (2016)

Towards a formally verified functional quantum programming language
by: Green, Alexander S.
Published: (2010)

Funky grooves: declarative programming of full-fledged musical applications
by: Nilsson, Henrik, et al.
Published: (2016)

The arpeggigon: declarative programming of a full-fledged musical application
by: Nilsson, Henrik, et al.
Published: (2016)

The modular compilation of effects
by: Day, Laurence E.
Published: (2017)

A functional specification of effects
by: Swierstra, Wouter
Published: (2009)

The productivity of polymorphic stream equations and the composition of circular traversals
by: Balestrieri, Florent
Published: (2015)

Polymonad programming in Haskell
by: Bracker, Jan, et al.
Published: (2016)

Lifting of operations in modular monadic semantics
by: Jaskelioff, Mauro Javier
Published: (2009)

Efficient implementations of expressive modelling languages
by: Chupin, Guerric
Published: (2022)

Towards modular compilers for effects
by: Day, Laurence, et al.
Published: (2012)

Investigating the use of pure functional programming for agent-based simulation
by: Thaler, Jonathan
Published: (2020)

Monads need not be endofunctors
by: Altenkirch, Thorsten, et al.
Published: (2015)

Comprehensive optimization of PV inverter reactive and real power flows in unbalanced four wire LV distribution network operations
by: Su, Xiangjing, et al.
Published: (2013)

Uptake of reactive red 2 by zinc aluminium- nitrate hydrotalcite / Abu Hurairah Mohd Tahir
by: Mohd Tahir, Abu Hurairah
Published: (2008)

Adsorption of reactive red120 using calcine and uncalcine Mg-Al-C0₃ layered double hydoxide from aqueous solution / Oumar Moechtar Mohammad Hashim
by: Mohammad Hashim, Oumar Moechtar
Published: (2009)

Thermo-physical properties and high-temperature durability of reactive powder concrete (RPC)
by: Helmi, Masdar
Published: (2016)

Functional programming and non-distributivity in pathfinding problems
by: Saenz Carrasco, Juan Carlos
Published: (2016)

Abstract modelling: towards a typed declarative language for the conceptual modelling phase
by: Legatiuk, Dmitrii, et al.
Published: (2017)

Exploiting structure in integer programs
by: Mareček, Jakub
Published: (2012)

Conjunctive use methods in the management of surface water and ground water resources of a river basin - a review / G. Jagmohan Das and Ashfaque Jafari
by: G. Jagmohan, Das, et al.
Published: (2003)

Annihilators through fault injection analysis on selected stream ciphers
by: Omar @ Othman, Wan Zariman
Published: (2019)

Diet, Obesity, and Reactive Oxygen Species – Implications for Diabetes and Aging
by: Newsholme, Philip, et al.
Published: (2014)

Analytical Approach for Linear Programming Using Barrier and Penalty Function Methods
by: Moengin, Parwadi
Published: (2003)

Distribution of harumanis in Universiti Teknologi Mara Cawangan Perlis by using : goal programming model / 'Ain Syafiqah Abu Sofian
by: Abu Sofian, 'Ain Syafiqah
Published: (2019)

Distributive laws in programming structures
by: Rypacek, Ondrej
Published: (2010)

A new exact penalty method for semi-infinite programming problems
by: Lin, Qun, et al.
Published: (2014)

Mechanisms of reactive gliosis in cortical and spinal cord astrocytes at different developmental stages
by: Hareeri, Rawan
Published: (2020)

Narrowing in on property-based testing
by: Fowler, Jonathan
Published: (2019)

Simulation and control of reactive distillation.
by: Sneesby, Martin G.
Published: (1998)

Symmetric encryption using preshared public parameters for a secure TFTP protocol / Nur Nabila Mohamed
by: Mohamed, Nur Nabila
Published: (2015)

The KL sentral virtua reality simulation / Ainun Maziah Saidina Omar
by: Saidina omar, Ainun Maziah
Published: (2004)

Solving a backtracking intelligently : a case study / Muthukkaruppan Annamalai
by: Annamalai, Muthukkaruppan
Published: (2001)

Efficiency three ways: tested, verified, and formalised
by: Handley, Martin AT
Published: (2020)