Cover Image

Dual-Numbers Reverse AD for Functional Array Languages

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Smeding, Tom, Konarski, Mikołaj, Jones, Simon Peyton, Fitzgibbon, Andrew
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

CHAD: Combinatory Homomorphic Automatic Differentiation
by: Vákár, Matthijs, et al.
Published: (2021)

Triemaps that match
by: Jones, Simon Peyton, et al.
Published: (2023)

Abstracting Denotational Interpreters
by: Graf, Sebastian, et al.
Published: (2024)

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

An Array Intermediate Language for Mixed Cryptography
by: Ding, Vivian, et al.
Published: (2024)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
by: Van der Cruysse, Jonathan, et al.
Published: (2023)

Towards Efficient Hash Maps in Functional Array Languages
by: Due, William Henrich, et al.
Published: (2025)

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

Polyregular equivalence is undecidable in higher-order types
by: Bojańczyk, Mikołaj, et al.
Published: (2026)

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
by: Hinnerskov, Nikolaj Hey, et al.
Published: (2025)

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

Compiling with Arrays
by: Richter, David, et al.
Published: (2024)

Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
by: Åkerblom, Beatrice, et al.
Published: (2024)

Towards Reliable Benchmarking: A Contamination Free, Controllable Evaluation Framework for Multi-step LLM Function Calling
by: Maekawa, Seiji, et al.
Published: (2025)

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

revTPL: The Reversible Temporal Process Language
by: Bocchi, Laura, et al.
Published: (2022)

Range Algebra for Safe Array Splits
by: Perisic, Aleksandar
Published: (2014)

Programming Backpropagation with Reverse Handlers for Arrows
by: Sanada, Takahiro, et al.
Published: (2026)

Abstracting Extensible Recursive Functions
by: Hubers, Alex, et al.
Published: (2024)

Step in Tine: Forking Processes in Functional Choreographies
by: Samuelson, Ashley, et al.
Published: (2026)

Lazy Linearity for a Core Functional Language
by: Mesquita, Rodrigo, et al.
Published: (2025)

Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
by: Fujiwara, Yusuke, et al.
Published: (2026)

Understanding Haskell-style Overloading via Open Data and Open Functions
by: Marmaduke, Andrew, et al.
Published: (2025)

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

Dual-Language General-Purpose Self-Hosted Visual Language and new Textual Programming Language for Applications
by: Fayed, Mahmoud Samir
Published: (2025)

From High to Low: Simulating Nondeterminism and State with State
by: Tang, Wenhao, et al.
Published: (2023)

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

AuDaLa is Turing Complete
by: Franken, Tom T. P., et al.
Published: (2024)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
by: Liell-Cock, Jack, et al.
Published: (2024)

Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
by: Zhang, Yihong, et al.
Published: (2025)

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

Remote Concolic Multiverse Debugging -- Extended Version with Additional Appendices
by: Steevens, Maarten, et al.
Published: (2026)

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

Data-driven Verification of Procedural Programs with Integer Arrays
by: Bouajjani, Ahmed, et al.
Published: (2025)

The Vienna Architecture Description Language
by: Freitag, Florian, et al.
Published: (2024)

Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment
by: Rein, Patrick, et al.
Published: (2024)

Hybrid Structured Editing: Structures for Tools, Text for Users
by: Beckmann, Tom, et al.
Published: (2026)

Abstraction Functions as Types
by: Grodin, Harrison, et al.
Published: (2025)

Finite Functional Programming
by: Arntzenius, Michael, et al.
Published: (2026)