Functional Reactive Programming, restated-Reference-Cited by-同舟云学术

Functional Reactive Programming, restated

Published:2019-10-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019
language:
Short-container-title:

Author:

Chupin Guerric¹,Nilsson Henrik¹

Affiliation:

1. University of Nottingham, Nottingham, United Kingdom

Publisher

ACM

Reference38 articles.

1. Heinrich Apfelmus. [n. d.]. Reactive-Banana: Library for Functional Reactive Programming (FRP). https://hackage.haskell.org/package/reactive-banana. Heinrich Apfelmus. [n. d.]. Reactive-Banana: Library for Functional Reactive Programming (FRP). https://hackage.haskell.org/package/reactive-banana.

2. Albert Benveniste Timothy Bourke Benoit Caillaud Bruno Pagano and Marc Pouzet. 2017. A Type-Based Analysis of Causality Loops in Hybrid Systems Modelers. Journal of Nonlinear Analysis Hybrid Systems (2017). Albert Benveniste Timothy Bourke Benoit Caillaud Bruno Pagano and Marc Pouzet. 2017. A Type-Based Analysis of Causality Loops in Hybrid Systems Modelers. Journal of Nonlinear Analysis Hybrid Systems (2017).

3. Daniel Bünzli. [n. d.]. React Functional Reactive Programming for OCaml. https://erratique.ch/talks/react-ocamlum-2010.pdf. Accessed: 2019-05-09. Daniel Bünzli. [n. d.]. React Functional Reactive Programming for OCaml. https://erratique.ch/talks/react-ocamlum-2010.pdf. Accessed: 2019-05-09.

4. Francois E. Cellier and Ernesto Kofman. 2006. Continuous System Simulation. Springer-Verlag Berlin Heidelberg. Francois E. Cellier and Ernesto Kofman. 2006. Continuous System Simulation. Springer-Verlag Berlin Heidelberg.

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. This Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Programs;Proceedings of the 16th ACM SIGPLAN International Haskell Symposium;2023-08-30

2. Virtual Machines and Hypergraph Data/Code Models: Graph-Theoretic Representations of Lambda-Style Calculi;AI, IoT, Big Data and Cloud Computing for Industry 4.0;2023

3. Semantics of RxJS;Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2022-11-29

4. A Graph-Based Formal Semantics of Reactive Programming from First Principles;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07

5. Using Functional Reactive Programming to Define Safe Actor Systems;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07