Copertina

Reactive Programming without Functions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Oeyen, Bjarno, De Koster, Joeri, De Meuter, Wolfgang
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Skitter: A Distributed Stream Processing Framework with Pluggable Distribution Strategies
di: Saey, Mathijs, et al.
Pubblicazione: (2025)

Functional Reactive Programming with Effects, A More Permissive Approach
di: Dabrowski, Frédéric, et al.
Pubblicazione: (2025)

Consistent Distributed Reactive Programming with Retroactive Computation
di: Kamina, Tetsuo, et al.
Pubblicazione: (2025)

Simple Modal Types for Functional Reactive Programming
di: Bahr, Patrick
Pubblicazione: (2025)

Meerkat: A Distributed Reactive Programming Language with Live Updates
di: Zhong, Heng, et al.
Pubblicazione: (2024)

SSA without Dominance for Higher-Order Programs
di: Leißa, Roland, et al.
Pubblicazione: (2026)

Invertible Syntax without the Tuples (Functional Pearl)
di: Boespflug, Mathieu, et al.
Pubblicazione: (2025)

Finite Functional Programming
di: Arntzenius, Michael, et al.
Pubblicazione: (2026)

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
di: Randone, Francesca, et al.
Pubblicazione: (2026)

Debugging Functional Programs by Interpretation
di: Whitington, John
Pubblicazione: (2024)

Functional Logic Program Transformations
di: Hanus, Michael, et al.
Pubblicazione: (2026)

Functional Programming in Learning Electromagnetic Theory
di: Walck, Scott N.
Pubblicazione: (2024)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
di: De Palma, Giuseppe, et al.
Pubblicazione: (2024)

A Monadic Implementation of Functional Logic Programs
di: Hanus, Michael, et al.
Pubblicazione: (2026)

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
di: Chang, Stephen
Pubblicazione: (2024)

Proving Functional Program Equivalence via Directed Lemma Synthesis
di: Sun, Yican, et al.
Pubblicazione: (2024)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
di: Bagrel, Thomas
Pubblicazione: (2026)

Proceedings 14th International Workshop on Trends in Functional Programming in Education
di: Bohrer, Rose
Pubblicazione: (2025)

Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study
di: Zhang, Yihan, et al.
Pubblicazione: (2026)

Reactive graphs in action (extended version)
di: Tinoco, David, et al.
Pubblicazione: (2024)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
di: Böhler, Timon, et al.
Pubblicazione: (2026)

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca
di: Schulz-Rosengarten, Alexander, et al.
Pubblicazione: (2024)

Relational Reactive Programming: miniKanren for the Web
di: Donahue, Evan
Pubblicazione: (2024)

Visualizing the Evaluation of Functional Programs for Debugging
di: Whitington, John, et al.
Pubblicazione: (2024)

Functional Python Programming in Introductory Computer Science Courses
di: Sunderraman, Rajshekhar
Pubblicazione: (2025)

When Are Reactive Notebooks Not Reactive?
di: Zheng, Megan, et al.
Pubblicazione: (2025)

Comparing Parallel Functional Array Languages: Programming and Performance
di: van Balen, David, et al.
Pubblicazione: (2025)

Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs
di: Xia, Li-yao, et al.
Pubblicazione: (2024)

Functional Array Programming in an Extended Pi-Calculus
di: Hüttel, Hans, et al.
Pubblicazione: (2024)

Newtonian Program Analysis of Probabilistic Programs
di: Wang, Di, et al.
Pubblicazione: (2023)

C Analyzer : A Static Program Analysis Tool for C Programs
di: Solanki, Rajendra Kumar
Pubblicazione: (2024)

Verifying Asynchronous Hyperproperties in Reactive Systems
di: Beutner, Raven, et al.
Pubblicazione: (2025)

Semantics of Sets of Programs
di: Kim, Jinwoo, et al.
Pubblicazione: (2024)

Laws of Quantum Programming
di: Ying, Mingsheng, et al.
Pubblicazione: (2024)

Programming Not Only by Example
di: Peleg, Hila, et al.
Pubblicazione: (2017)

A Coq Mechanization of JavaScript Regular Expression Semantics
di: De Santo, Noé, et al.
Pubblicazione: (2024)

WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
di: Kang, Byeongjee, et al.
Pubblicazione: (2025)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
di: Warren, David S., et al.
Pubblicazione: (2024)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
di: Moine, Alexandre, et al.
Pubblicazione: (2025)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
di: Klinkenberg, Lutz, et al.
Pubblicazione: (2023)