Imagen de Portada

Functional Reactive Programming with Effects, A More Permissive Approach

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Dabrowski, Frédéric, Ischard, Jordan
Formato:	Preprint
Publicado:	2025
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Reactive Programming without Functions
por: Oeyen, Bjarno, et al.
Publicado: (2024)

WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
por: Lin, Zhengyao, et al.
Publicado: (2023)

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

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

Simple Modal Types for Functional Reactive Programming
por: Bahr, Patrick
Publicado: (2025)

PermRust: A Token-based Permission System for Rust
por: Gehring, Lukas, et al.
Publicado: (2025)

Compositional Verification in Concurrent Separation Logic with Permissions Regions
por: Le, Quang Loc
Publicado: (2025)

Finite Functional Programming
por: Arntzenius, Michael, et al.
Publicado: (2026)

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

Functional Logic Program Transformations
por: Hanus, Michael, et al.
Publicado: (2026)

Debugging Functional Programs by Interpretation
por: Whitington, John
Publicado: (2024)

Misquoted No More: Securely Extracting F* Programs with IO
por: Andrici, Cezar-Constantin, et al.
Publicado: (2026)

From Algebraic Word Problem to Program: A Formalized Approach
por: Wiemerslage, Adam, et al.
Publicado: (2020)

Functional Programming in Learning Electromagnetic Theory
por: Walck, Scott N.
Publicado: (2024)

From Traces to Program Incorrectness: A Type-Theoretic Approach
por: Yuan, Yongwei, et al.
Publicado: (2025)

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

Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
por: Zilberstein, Noam
Publicado: (2024)

Pleasant Imperative Program Proofs with GallinaC
por: Fort, Frédéric, et al.
Publicado: (2025)

A Direct-Style Effect Notation for Sequential and Parallel Programs
por: Richter, David, et al.
Publicado: (2023)

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

Two Approaches for Programming Education in the Domain of Graphics: An Experiment
por: Chiodini, Luca, et al.
Publicado: (2025)

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

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

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

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

Composable Effect Handling for Programming LLM-integrated Scripts
por: Wang, Di
Publicado: (2025)

Fast Trigonometric Functions using the RLIBM Approach
por: Park, Sehyeok, et al.
Publicado: (2025)

Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs
por: Ciccalè, Marco, et al.
Publicado: (2025)

Towards General-Purpose Data Discovery: A Programming Languages Approach
por: Kang, Andrew, et al.
Publicado: (2025)

Dependently-Typed AARA: A Non-Affine Approach for Resource Analysis of Higher-Order Programs
por: Xu, Han, et al.
Publicado: (2026)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
por: Shen, Gan, et al.
Publicado: (2024)

Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
por: Nicola, Mihai, et al.
Publicado: (2024)

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
por: Lybech, Stian, et al.
Publicado: (2025)

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

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

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

Relational Reactive Programming: miniKanren for the Web
por: Donahue, Evan
Publicado: (2024)

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

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

Proceedings 17th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
por: Peters, Kirstin, et al.
Publicado: (2026)