MURAL - Maynooth University Research Archive Library

    Nesting forward-mode AD in a functional framework

    Siskind, Jeffrey Mark and Pearlmutter, Barak A. (2008) Nesting forward-mode AD in a functional framework. Higher-Order and Symbolic Computation, 21 (4). pp. 361-376. ISSN 1388-3690

    Download (417kB) | Preview

    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...

    Add this article to your Mendeley library


    We discuss the augmentation of a functional-programming language with a derivative-taking operator implemented with forward-mode automatic differentiation (AD). The primary technical difficulty in doing so lies in ensuring correctness in the face of nested invocation of that operator, due to the need to distinguish perturbations introduced by distinct invocations. We exhibit a series of implementations of a referentially-transparent forward-mode-AD derivative-taking operator, each of which uses a different non-referentially-transparent mechanism to distinguish perturbations. Even though the forward-mode-AD derivative-taking operator is itself referentially transparent, we hypothesize that one cannot correctly formulate this operator as a function definition in current pure dialects of Haskell.

    Item Type: Article
    Additional Information: Cite as: Siskind, J.M. & Pearlmutter, B.A. Higher-Order Symb Comput (2008) 21: 361.
    Keywords: Automatic differentiation; Applicative (functional) languages; Referential transparency; Multiple transformation;
    Academic Unit: Faculty of Science and Engineering > Research Institutes > Hamilton Institute
    Item ID: 10236
    Identification Number:
    Depositing User: Barak Pearlmutter
    Date Deposited: 21 Nov 2018 15:35
    Journal or Publication Title: Higher-Order and Symbolic Computation
    Publisher: Springer US
    Refereed: Yes
    Funders: National Science Foundation, US (NSF), Science Foundation Ireland (SFI), Higher Education Authority (HEA)
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Repository Staff Only(login required)

    View Item Item control page


    Downloads per month over past year

    Origin of downloads