@unpublished{rattpp,
  title = {Push-Pull Modal Functional Reactive Programming},
  author = {Faurby Klausen, Lasse and Møller Flyvholm, Philip Kristian and Bahr, Patrick},
  abstract = {Functional reactive programming (FRP) offers an expressive programming
paradigm for building reactive systems in a functional style. In
recent years, several FRP languages have introduced modal types to
ensure that programs are free from space leaks despite their high
level of abstraction. So far, these modal FRP languages only
offer an event-driven (or \emph{push}) execution model, where
computation is driven by discrete events triggered by the environment.
However, many applications benefit from a demand-driven (or
\emph{pull}) execution model, where computation is initiated by the
consumer of data.

In this paper, we use Elliott's push-pull evaluation model to build an
FRP library in a programming language with modal types. Additionally,
we propose and implement several refinements to Elliott's push-pull model to extend
its expressiveness. We evaluate our push-pull approach by implementing
a GUI library and a case study of GUI applications.},
  Note = {Symposium on Trends in Functional Programming 2026, to appear},
  keywords = {functional reactive programming, modal types, space leaks},
  year = {2026},
  month = may
}