Functional differentiation of computer programs

DOI10.1145/289423.289442zbMath1428.68104OpenAlexW2156468295MaRDI QIDQ5234268

Jerzy Karczmarczuk

Publication date: 26 September 2019

Published in: Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/289423.289442

zbMATH Keywords

arithmeticderivativesdifferentiationHaskelllazy semantics

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Numerical differentiation (65D25)

Related Items (3)

A Hitchhiker's guide to automatic differentiation ⋮ Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library ⋮ Unnamed Item

This page was built for publication: Functional differentiation of computer programs