Functional differentiation of computer programs

DOI10.1023/A:1011501232197zbMath0967.68174OpenAlexW1601890769MaRDI QIDQ5936651

Jerzy Karczmarczuk

Publication date: 3 July 2001

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011501232197

zbMATH Keywords

arithmeticcomputational differentiation toolsdifferentiationHaskelllazy evaluationlazy semantics

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (9)

A Hitchhiker's guide to automatic differentiation ⋮ Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library ⋮ Mini-symposium on automatic differentiation and its applications in the financial industry ⋮ Unnamed Item ⋮ Using Structural Recursion for Corecursion ⋮ On the implementation of automatic differentiation tools ⋮ Nesting forward-mode AD in a functional framework ⋮ Unified form language ⋮ Towards an Implementation of a Computer Algebra System in a Functional Language

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