Functional reactive animation

DOI10.1145/258948.258973MaRDI QIDQ5348880zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• A functional reactive animation of a lift using Fran
• Real-time FRP
• Functional reactive programming with liveness guarantees
• Functional reactive types
• Higher-order functional reactive programming in bounded space

Cited in

(14)

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

Describes a project that uses

Uses Software

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

This page was built for publication: Functional reactive animation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348880)