Extensible and robust functional reactive programming

QR Code

Extensible and robust functional reactive programming

Programming GUI and multimedia in functional languages has been a long-term challenge, and no solution convinces the community at large. Purely functional GUI and multimedia toolkits enable abstract thinking, but have enormous maintenance costs. General solutions like Functional Reactive Programm...

Full description

Bibliographic Details
Main Author:	Perez Dominguez, Ivan
Format:	Thesis (University of Nottingham only)
Language:	English
Published:	2018
Subjects:	FRP Functional Reactive Programming functional programming multimedia games Haskell
Online Access:	https://eprints.nottingham.ac.uk/50348/

Similar Items

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

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

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)

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

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

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

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)

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

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

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)

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

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

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

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

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

Evaluating decision making units under uncertainty using fuzzy multi-objective nonlinear programming
by: Zerafat Angiz, M., et al.
Published: (2016)

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

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

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)

Vocathon – the usefulness of board games in vocabulary learning through the multiple intelligences approach / Lilly Metom ... [et al.]
by: Metom, Lilly, et al.
Published: (2019)

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

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

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

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)

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

On the Structure of Convex Piecewise Quadratic Functions
by: Sun, Jie
Published: (1992)

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

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

Agent-Based Logics in Dependent Type Theory
by: Baston, Colm
Published: (2025)

Laplace approximation of Lauricella functions F A and F D
by: Butler, R.W., et al.
Published: (2015)

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)

Functional adaptation to exercise in elderly subjects.
by: Brown, Annette
Published: (2002)

Pembangunan dan keberkesanan permainan komputer terhadap pencapaian, sikap dan strategi metakognisi murid dalam penyelesaian masalah
by: Abdullah, Yusri
Published: (2018)

Paternal low protein diet programs preimplantation embryo gene expression, fetal growth and skeletal development in mice
by: Watkins, Adam J., et al.
Published: (2017)