Abstract categorical semantics for resourceful functional reactive programming
DOI10.1016/J.JLAMP.2016.07.001zbMATH Open1353.68043OpenAlexW2460254609MaRDI QIDQ338619FDOQ338619
Authors: Wolfgang Jeltsch 
Publication date: 7 November 2016
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.07.001
Recommendations
categorical semanticslinear logictemporal logicfunctional reactive programminglogic of bunched implications
Temporal logic (03B44) Logic in computer science (03B70) Categorical semantics of formal languages (18C50) Functional programming and lambda calculus (68N18)
Cites Work
- On an intuitionistic modal logic
- The Logic of Bunched Implications
- Higher-order functional reactive programming in bounded space
- Monad as modality
- Towards a common categorical semantics for linear-time temporal logic and functional reactive programming
- A semantic model for graphical user interfaces
- Title not available (Why is that?)
- Functional reactive animation
Cited In (9)
- When programs have to watch paint dry
- Functional reactive types
- A semantic model for graphical user interfaces
- Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras
- Practical principled FRP: forget the past, change the future, FRPNow!
- Higher-order functional reactive programming in bounded space
- Title not available (Why is that?)
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
- Towards a common categorical semantics for linear-time temporal logic and functional reactive programming
Uses Software
This page was built for publication: Abstract categorical semantics for resourceful functional reactive programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q338619)
