Functional automatic differentiation with Dirac impulses

DOI10.1145/944705.944720zbMATH Open1315.68057OpenAlexW2103009337MaRDI QIDQ5261273FDOQ5261273

Henrik Nilsson

Publication date: 2 July 2015

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

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

Recommendations

• Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change
• Functional reactive animation
• Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough
• Functional differentiation of computer programs
• Real-time FRP

zbMATH Keywords

distribution theoryfunctional programmingautomatic differentiationFRPmodeling languagesHaskellhybrid modelingDirac impulsessynchronous dataflow languages

Mathematics Subject Classification ID

Numerical differentiation (65D25) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (3)

• On the implementation of automatic differentiation tools
• Nesting forward-mode AD in a functional framework
• Cofree coalgebras and differential linear logic

Uses Software

• Haskell
• Yampa

This page was built for publication: Functional automatic differentiation with Dirac impulses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261273)