Links

Main Yampa papers

[YamCade03]

The Yampa Arcade (2003) by Antony Courtney, Henrik Nilsson, John Peterson (archived)

Simulated worlds are a common (and highly lucrative) application domain that stretches from detailed simulation of physical systems to elaborate video game fantasies. We believe that Functional Reactive Programming (FRP) provides just the right level of functionality to develop simulated worlds in a concise, clear and modular way. We demonstrate the use of FRP in this domain by presenting an implementation of the classic “Space Invaders” game in Yampa, our most recent Haskell-embedded incarnation of FRP.

[FrpRefac16]

Functional Reactive Programming, Refactored (2016) by Ivan Perez, Manuel Bärenz, Henrik Nilsson

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 andpractical FRP realisation that allows us to express the functionality of many existing FRP systems and beyond by providing a minimal FRP core parametrised 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 ofour new system with very good results.

[FrpExt17]

Extensible and Robust Functional Reactive Programming (2017) by Iván Pérez Domínguez, MSc (First Year Report)

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 Programming present a number of limitations. FRP has traditionally resisted efficient implementation, and existing libraries sacrifice determinism and abstraction in the name of performance. FRP also enforces structural constraints that facilitate reasoning, but at the cost of modularity and separation of concerns. This work addresses those limitations with the introduction of Monadic Stream Functions, anextension to FRP parameterised over a monad. I demonstrate that, in spite of being simpler thanother FRP proposals, Monadic Stream Functions subsume and exceed other FRP implementations. Unlike other proposals, Monadic Stream Functions maintain purity at the type level, whichis crucial for testing and debugging. I demonstrate this advantage by introducing FRP testingfacilities based on temporal logics, together with debugging tools specific for FRP. I present two uses cases for Monadic Stream Functions: First, I show how the new constructsimproved the design of game features and non-trivial games. Second, I present Reactive Valuesand Relations, an abstraction for model-view coordination in GUI programs based on a relationallanguage, built on top of Monadic Stream Functions. Comprehensive examples are used to illustrate the benefits of this proposal in terms of clarity, modularity, feature coverage, and its low maintenance costs. The testing facilities mentioned before are used to encode and statically checkdesired interaction properties.

All Yampa papers

Sorted newest first:

[TestDebugFrp17]

Testing and Debugging Functional Reactive Programming (2017) by Ivan Perez, Henrik Nilsson

[CcaRevisit16]

Causal Commutative Arrows Revisited (2016) by Jeremy Yallop, Hai Liu

[SetNonInfFrp14]

Settable and Non-Interfering Signal Functions for FRP (2014) by Daniel Winograd-Cort, Paul Hudak (more)

[SwitchOn08]

Switched-On Yampa (2008) by George Giorgidze, Henrik Nilsson

[DynInterVR08]

Dynamic, Interactive Virtual Environments (2008) by Kristopher James Blom

[Fp3dGames05]

Functional Programming and 3D Games (2005) by Mun Hon Cheong

[ArrRobFrp03]

Arrows, robots, and Functional Reactive Programming (2003) by Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson

[FrpCont02]

Functional Reactive Programming, Continued (2002) by Henrik Nilsson, Antony Courtney and John Peterson

Wormholes: Introducing Effects to FRP (2012) by Daniel Winograd-Cort, Paul Hudak (video)
Virtualizing Real-World Objects in FRP (2011) by Daniel Winograd-Cort, Hai Liu, Paul Hudak
Causal commutative arrows and their optimization (2009) by Hai Liu, Eric Cheng, and Paul Hudak
Demo-outline: Switched-on Yampa: Programming Modular Synthesizers in Haskell (2007) by George Giorgidze, Henrik Nilsson
Plugging a space leak with an arrow (2007) by Hai Liu, Paul Hudak
Dynamic optimization for functional reactive programming using generalized algebraic data types (2005) by Henrik Nilsson

Non-english Yampa papers

German

[GamArchYam10]

Game-Engine-Architektur mit funktional-reaktiver Programmierung in Haskell/Yampa (2010) von Gerold Meisinger

[VisIdeAfrp07]

Visuelle Entwicklungsumgebung zur Erzeugung von Haskell AFRP Code (2007) von Piotr Szal

FRP papers

Sorted newest first:

[MathPropMSF16]

Mathematical Properties of Monadic Stream Functions (2016) by Manuel Bärenz, Ivan Perez, Henrik Nilsson

[SurvFrp10]

A Survey of Functional Reactive Programming (2010) by Edward Amsden (archived)

[PushPullFrp09]

Push-pull functional reactive programming (2009) by Conal Elliott (video) (slides)

[SafeFrpDep09]

Safe functional reactive programming through dependent types (2009) by Neil Sculthorpe, Henrik Nilsson (video)

[GenuineUI01]

Genuinely Functional User Interfaces (2001) by Antony Courtney and Conal Elliott

Back to the Future: Time Travel in FRP (2017) by Ivan Perez
Rhine - frp with type-level clocks (2016) by Manuel Bärenz
Higher-order functional reactive programming without spacetime leaks (2013) by N. R. Krishnaswami
Push-Pull Signal-Function Functional Reactive Programming (2012) by E. Amsden
Higher-order functional reactive pro- gramming in bounded space (2012) by N. R. Krishnaswami, N. Benton, J. Hoffmann
Improving Push-based FRP (2008) by W. Jeltsch
E-FRP with priorities (2007) by R. Kaiabachev, W. Taha, A. Zhu
Plugging a space leak with an arrow (2007) by Hai Liu, Paul Hudak
Functional Reactive Programming for Real-Time Reactive Systems (2002) by Wan, Zhanyong
Event-driven FRP (2002) by Z. Wan, W. Taha, P. Hudak
Real-time FRP (2001) by Z. Wan, W. Taha, and P. Hudak
Functional reactive programming from first principles (2000) by Zhanyong Wan, Paul Hudak
Functional reactive animation (1997) by Conal Elliott, Paul Hudak
Reification of time in FRP
Functional reactive programming for real-time reactive systems (2002) by Zhanyong Wan
Fault tolerant functional reactive programming (2018) by Ivan Perez