Diamonds are not forever: liveness in reactive programming with guarded recursion

Patrick Bahr; Christian Uldal Graulund; Rasmus Ejlers Møgelberg

doi:10.1145/3434283

Diamonds are not forever: liveness in reactive programming with guarded recursion

Proceedings of the ACM on Programming Languages ◽

10.1145/3434283 ◽

2021 ◽

Vol 5 (POPL) ◽

pp. 1-28

Author(s):

Patrick Bahr ◽

Christian Uldal Graulund ◽

Rasmus Ejlers Møgelberg

Keyword(s):

Reactive Programming

Download Full-text

Functional Reactive Programming for Embedded Systems with GPGPUs

2021 10th International Conference on Software and Computer Applications ◽

10.1145/3457784.3457795 ◽

2021 ◽

Author(s):

Yoshitaka Sakurai ◽

Sosuke Moriguchi ◽

Takuo Watanabe

Keyword(s):

Embedded Systems ◽

Functional Reactive Programming ◽

Reactive Programming

Download Full-text

Concurrency control for multithreaded reactive programming

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2815374 ◽

2015 ◽

Author(s):

Ragnar Mogk

Keyword(s):

Concurrency Control ◽

Reactive Programming

Download Full-text

Monadic functional reactive programming

Proceedings of the 2013 ACM SIGPLAN symposium on Haskell - Haskell '13 ◽

10.1145/2503778.2503783 ◽

2013 ◽

Cited By ~ 10

Author(s):

Atze van der Ploeg

Keyword(s):

Functional Reactive Programming ◽

Reactive Programming

Download Full-text

Reactive Programming Using Spring WebFlux

Beginning Spring Boot 2 ◽

10.1007/978-1-4842-2931-6_12 ◽

2017 ◽

pp. 157-174

Author(s):

K. Siva Prasad Reddy

Keyword(s):

Reactive Programming

Download Full-text

Fault tolerant functional reactive programming (functional pearl)

Proceedings of the ACM on Programming Languages ◽

10.1145/3236791 ◽

2018 ◽

Vol 2 (ICFP) ◽

pp. 1-30 ◽

Cited By ~ 6

Author(s):

Ivan Perez

Keyword(s):

Fault Tolerant ◽

Functional Reactive Programming ◽

Reactive Programming

Download Full-text

DISCOPAR: a visual reactive programming language for generating cloud-based participatory sensing platforms

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems - REBLS 2018 ◽

10.1145/3281278.3281285 ◽

2018 ◽

Author(s):

Jesse Zaman ◽

Kennedy Kambona ◽

Wolfgang De Meuter

Keyword(s):

Programming Language ◽

Participatory Sensing ◽

Sensing Platforms ◽

Reactive Programming

Download Full-text

Testing and debugging functional reactive programming

Proceedings of the ACM on Programming Languages ◽

10.1145/3110246 ◽

2017 ◽

Vol 1 (ICFP) ◽

pp. 1-27 ◽

Cited By ~ 12

Author(s):

Ivan Perez ◽

Henrik Nilsson

Keyword(s):

Testing And Debugging ◽

Functional Reactive Programming ◽

Reactive Programming

Download Full-text

Active Expressions: Basic Building Blocks for Reactive Programming

The Art Science and Engineering of Programming ◽

10.22152/programming-journal.org/2017/1/12 ◽

2017 ◽

Vol 1 (2) ◽

Cited By ~ 1

Author(s):

Stefan Ramson ◽

Robert Hirschfeld

Keyword(s):

Building Blocks ◽

Reactive Programming

Download Full-text

Reactive programming in Eiffel//

Lecture Notes in Computer Science - Object-Based Parallel and Distributed Computation ◽

10.1007/3-540-61487-7_25 ◽

1996 ◽

pp. 125-147 ◽

Cited By ~ 4

Author(s):

Denis Caromel ◽

Yves Roudier

Keyword(s):

Reactive Programming

Download Full-text

Monadic functional reactive programming

ACM SIGPLAN Notices ◽

10.1145/2578854.2503783 ◽

2014 ◽

Vol 48 (12) ◽

pp. 117-128 ◽

Cited By ~ 1

Author(s):

Atze van der Ploeg

Keyword(s):

Functional Reactive Programming ◽

Reactive Programming

Download Full-text