2 papers
cs.PL2025
Dual-Numbers Reverse AD for Functional Array Languages
Tom Smeding, MikoÅaj Konarski, Simon Peyton Jones +1
The standard dual-numbers construction works well for forward-mode automatic differentiation (AD) and is attractive due to its simplicity; recently, it also has been adapted to rev…
cs.PL2024
Abstracting Denotational Interpreters
Sebastian Graf, Simon Peyton Jones, Sven Keidel
We explore denotational interpreters: denotational semantics that produce coinductive traces of a corresponding small-step operational semantics. By parameterising our denotational…