Practical principled FRP: forget the past, change the future, FRPNow!

DOI10.1145/2784731.2784752zbMATH Open1360.68337OpenAlexW1963585471MaRDI QIDQ2981974

Atze van der Ploeg, Koen Claessen

Publication date: 10 May 2017

Published in: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

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

zbMATH Keywords

functional reactive programmingKripke logical relationspurely functional IOspace-leak

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

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

Uses Software

• Haskell
• LUSTRE
• Esterel
• FRPNow
• Reactive-banana

This page was built for publication: Practical principled FRP: forget the past, change the future, FRPNow!