A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
We present a simple functional programming language, called Dual PCF, that implements forward mode automatic differentiation using dual numbers in the framework of exact real number computation. The main new feature of this language is the ability to evaluate correctly up to the precision specified...
Saved in:
| Published in: | Electronic Notes in Theoretical Informatics and Computer Science Vol. 3 - Proceedings of... |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
23.11.2023
|
| ISSN: | 2969-2431, 2969-2431 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!