Imagen de Portada

Programming Backpropagation with Reverse Handlers for Arrows

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Sanada, Takahiro, Hoshino, Keisuke, Hirai, Kenshin, Katsumata, Shin-ya
Formato:	Preprint
Publicado:	2026
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

A Categorical Framework for Program Semantics and Semantic Abstraction
por: Katsumata, Shin-ya, et al.
Publicado: (2023)

Effect Handlers for Programmable Inference
por: Nguyen, Minh, et al.
Publicado: (2023)

Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
por: de Vilhena, Paulo Emílio, et al.
Publicado: (2021)

A Calculus for Scoped Effects & Handlers
por: Bosman, Roger, et al.
Publicado: (2023)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
por: Yu, ZeHao
Publicado: (2025)

Freer Arrows and Why You Need Them in Haskell
por: VanDomelen, Grant, et al.
Publicado: (2025)

Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers
por: Endo, Ryunosuke, et al.
Publicado: (2025)

Towards Cumulative Abstract Semantics via Handlers
por: Lueker, Cade, et al.
Publicado: (2025)

Reversible Lifetime Semantics for Quantum Programs
por: Faro, Simone, et al.
Publicado: (2026)

Abstracting Effect Systems for Algebraic Effect Handlers
por: Yoshioka, Takuma, et al.
Publicado: (2024)

Optimization of 32-bit Unsigned Division by Constants on 64-bit Targets
por: Mitsunari, Shigeo, et al.
Publicado: (2026)

Parallel Dual-Numbers Reverse AD
por: Smeding, Tom, et al.
Publicado: (2022)

Causal-Consistent Reversible Debugging: Improving CauDEr
por: González-Abril, Juan José, et al.
Publicado: (2024)

Dual-Numbers Reverse AD for Functional Array Languages
por: Smeding, Tom, et al.
Publicado: (2025)

LPR: Large Language Models-Aided Program Reduction
por: Zhang, Mengxiao, et al.
Publicado: (2023)

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

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

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

Semantics of Sets of Programs
por: Kim, Jinwoo, et al.
Publicado: (2024)

Laws of Quantum Programming
por: Ying, Mingsheng, et al.
Publicado: (2024)

Programming Not Only by Example
por: Peleg, Hila, et al.
Publicado: (2017)

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

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

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

Reduction for Structured Concurrent Programs
por: Gangamreddypalli, Namratha, et al.
Publicado: (2026)

Extensibility in Programming Languages: An overview
por: Nicolajsen, Sebastian mateos
Publicado: (2025)

Profiling Programming Language Learning
por: Crichton, Will, et al.
Publicado: (2024)

Aspect-oriented Programming with Julia
por: Ishimura, Osamu, et al.
Publicado: (2024)

Multi-Language Probabilistic Programming
por: Stites, Sam, et al.
Publicado: (2025)

Synchronous Programming with Refinement Types
por: Chen, Jiawei, et al.
Publicado: (2024)

Real-Time Probabilistic Programming
por: Hummelgren, Lars, et al.
Publicado: (2023)

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

Generative Explanations for Program Synthesizers
por: Nazari, Amirmohammad, et al.
Publicado: (2024)

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

Enhancing Programming Education with ChatGPT: A Case Study on Student Perceptions and Interactions in a Python Course
por: Ma, Boxaun, et al.
Publicado: (2024)

Learning Task Decomposition to Assist Humans in Competitive Programming
por: Wen, Jiaxin, et al.
Publicado: (2024)

Reversible Computation with Stacks and "Reversible Management of Failures"
por: Palazzo, Matteo, et al.
Publicado: (2025)

Practical Formal Verification for MLIR Programs
por: Tucker, Emily, et al.
Publicado: (2026)

The Parallel Semantics Program Dependence Graph
por: Homerding, Brian, et al.
Publicado: (2024)

A Programming Language for Feasible Solutions
por: Chen, Weijun, et al.
Publicado: (2025)