Functional reactive animation

DOI10.1145/258948.258973zbMath1369.68094OpenAlexW2079512738WikidataQ50488193 ScholiaQ50488193MaRDI QIDQ5348880

Conal M. Elliott, Paul Hudak

Publication date: 21 August 2017

Published in: Proceedings of the second ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/258948.258973

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (12)

Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ Abstract categorical semantics for resourceful functional reactive programming ⋮ Feasibility interval for the transactional event handlers of P-FRP ⋮ Modal FRP for all: Functional reactive programming without space leaks in Haskell ⋮ Fault-tolerant functional reactive programming (extended version) ⋮ APLicative Programming with Naperian Functors ⋮ Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change ⋮ Adjoint reactive GUI programming ⋮ Temporal refinements for guarded recursive types ⋮ Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations ⋮ Time-freeness and clock-freeness and related concepts in P systems ⋮ Mutable objects in R

Uses Software

• SIGNAL
• Haskell
• LUSTRE
• Fran
• ActiveVRML
• TBAG
• Lucid
• Hugs

This page was built for publication: Functional reactive animation