Abstract categorical semantics for resourceful functional reactive programming

DOI10.1016/J.JLAMP.2016.07.001MaRDI QIDQ338619zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

categorical semanticslinear logictemporal logicfunctional reactive programminglogic of bunched implications

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Categorical semantics of formal languages (18C50) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 7362475
• Higher-order functional reactive programming in bounded space
• Real-time FRP
• Towards a common categorical semantics for linear-time temporal logic and functional reactive programming
• Higher-order functional reactive programming without spacetime leaks

Cites work

• scientific article; zbMATH DE number 969070 (Why is no real title available?)
• A semantic model for graphical user interfaces
• Functional reactive animation
• Higher-order functional reactive programming in bounded space
• Monad as modality
• On an intuitionistic modal logic
• The Logic of Bunched Implications
• Towards a common categorical semantics for linear-time temporal logic and functional reactive programming

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
• Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
• scientific article; zbMATH DE number 7362475 (Why is no real title available?)
• Towards a common categorical semantics for linear-time temporal logic and functional reactive programming

Describes a project that uses

Uses Software

• Fran

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)