Towards safe and efficient functional reactive programming

QR Code

Towards safe and efficient functional reactive programming

Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on time-varying values (signals). FRP is based on the synchronous data-flow paradigm and supports both continuous-time and discrete-time signals (hybrid syste...

Full description

Bibliographic Details
Main Author:	Sculthorpe, Neil
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2011
Subjects:	functional reactive programming frp agda haskell
Online Access:	https://eprints.nottingham.ac.uk/11981/

Similar Items

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

Functional reactive programming, refactored
by: Perez, Ivan, et al.
Published: (2016)

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

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

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

Types with extra structure: predicates, equations, composition
by: Hewer, Brandon
Published: (2024)

A framework for relating, implementing and verifying argumentation models and their translations
by: van Gijzel, Bas
Published: (2016)

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

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

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

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

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)

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

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

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

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

Bootstrapping extensionality
by: Sestini, Filippo
Published: (2023)

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

Modularity and implementation of mathematical operational semantics
by: Jaskelioff, Mauro Javier, et al.
Published: (2008)

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

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)

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

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

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)

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

An exact penalty function method for nonlinear mixed discrete programming problems
by: Changjun, Y., et al.
Published: (2013)

Drastic changes in biomass char structure and reactivity upon contact with steam
by: Keown, D., et al.
Published: (2008)

The impact of hydrothermal carbonisation on the char reactivity of biomass
by: Stirling, Robert J., et al.
Published: (2018)

Raman spectroscopic investigations into links between intrinsic reactivity and char chemical structure
by: Wang, M., et al.
Published: (2013)

A functional quantum programming language
by: Grattage, Jonathan James
Published: (2006)

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

Documents as functions
by: Lumley, John William
Published: (2012)

Type theory in type theory using quotient inductive types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Normalisation by evaluation for dependent types
by: Altenkirch, Thorsten, et al.
Published: (2016)

Normalisation by evaluation for type theory, in type theory
by: Altenkirch, Thorsten, et al.
Published: (2017)

An investigation into the displacement of Permanent Survey Marks in the Hillcrest area resulting from reactive soils
by: Filmer, Michael, et al.
Published: (2007)

Changes in char reactivity and structure during the gasification of a Victorian brown coal: Comparison between gasification in O2 and CO2
by: Tay, Hui-Ling, et al.
Published: (2010)

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