Modal FRP for all: Functional reactive programming without space leaks in Haskell

DOI10.1017/s0956796822000132OpenAlexW4312855657MaRDI QIDQ6099198

P. Bähr

Publication date: 19 June 2023

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796822000132

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fitch-style modal lambda calculi
• Safe functional reactive programming through dependent types
• Higher-order functional reactive programming in bounded space
• Practical principled FRP: forget the past, change the future, FRPNow!
• First steps in synthetic guarded domain theory: step-indexing in the topos of trees
• Functional reactive types
• A Generalized Modality for Recursion
• A new notation for arrows
• Modal dependent type theory and dependent right adjoints
• Higher-order functional reactive programming without spacetime leaks
• Functional reactive animation
• Fair reactive programming

This page was built for publication: Modal FRP for all: Functional reactive programming without space leaks in Haskell