Higher Order Automatic Differentiation of Higher Order Functions

We present semantic correctness proofs of automatic differentiation (AD). We consider a forward-mode AD method on a higher order language with algebraic data types, and we characterise it as the unique structure preserving macro given a choice of derivatives for basic operations. We describe a rich...

書誌詳細
出版年:	Logical Methods in Computer Science
主要な著者:	Mathieu Huot, Sam Staton, Matthijs Vákár
フォーマット:	論文
言語:	英語
出版事項:	Logical Methods in Computer Science e.V. 2022-03-01
主題:	computer science - programming languages computer science - logic in computer science
オンライン･アクセス:	https://lmcs.episciences.org/7106/pdf

類似資料

Higher-Order Asynchronous Effects
著者:: Danel Ahman, 等
出版事項: (2024-09-01)

Modular coinduction up-to for higher-order languages via first-order transition systems
著者:: Jean-Marie Madiot, 等
出版事項: (2021-09-01)

On the Termination Problem for Probabilistic Higher-Order Recursive Programs
著者:: Naoki Kobayashi, 等
出版事項: (2020-10-01)

Theory of higher order interpretations and application to Basic Feasible Functions
著者:: Emmanuel Hainry, 等
出版事項: (2020-12-01)

Cartesian closed 2-categories and permutation equivalence in higher-order rewriting
著者:: Tom Hirschowitz
出版事項: (2013-09-01)

On Higher-Order Probabilistic Subrecursion
著者:: Flavien Breuvart, 等
出版事項: (2021-12-01)

Efficient Full Higher-Order Unification
著者:: Petar Vukmirović, 等
出版事項: (2021-12-01)

SAT-Inspired Higher-Order Eliminations
著者:: Jasmin Blanchette, 等
出版事項: (2023-05-01)

A Probabilistic Higher-order Fixpoint Logic
著者:: Yo Mitani, 等
出版事項: (2021-12-01)

Convexity and Order in Probabilistic Call-by-Name FPC
著者:: Mathys Rennela
出版事項: (2020-11-01)

Extensional Semantics for Higher-Order Logic Programs with Negation
著者:: Panos Rondogiannis, 等
出版事項: (2018-06-01)

Using higher-order contracts to model session types
著者:: Giovanni Bernardi, 等
出版事項: (2016-06-01)

From nominal to higher-order rewriting and back again
著者:: Jesús Domínguez, 等
出版事項: (2015-12-01)

A unifying framework for continuity and complexity in higher types
著者:: Thomas Powell
出版事項: (2020-09-01)

Complexity Hierarchies and Higher-order Cons-free Term Rewriting
著者:: Cynthia Kop, 等
出版事項: (2017-08-01)

Decidability of higher-order matching
著者:: Colin Stirling
出版事項: (2009-07-01)

A categorical framework for congruence of applicative bisimilarity in higher-order languages
著者:: Tom Hirschowitz, 等
出版事項: (2022-09-01)

Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
著者:: Guillaume Burel
出版事項: (2011-03-01)

Complete and tractable machine-independent characterizations of second-order polytime
著者:: Emmanuel Hainry, 等
出版事項: (2025-01-01)

Contextual equivalence for higher-order pi-calculus revisited
著者:: Alan Jeffrey, 等
出版事項: (2005-04-01)

Making first order linear logic a generating grammar
著者:: Sergey Slavnov
出版事項: (2023-11-01)

Relational $\star$-Liftings for Differential Privacy
著者:: Gilles Barthe, 等
出版事項: (2019-12-01)

Isomorphisms of types in the presence of higher-order references (extended version)
著者:: Pierre Clairambault
出版事項: (2012-08-01)

Semantics of Higher-Order Recursion Schemes
著者:: Jiri Adamek, 等
出版事項: (2011-04-01)

Logical Reasoning for Higher-Order Functions with Local State
著者:: Nobuko Yoshida, 等
出版事項: (2008-10-01)

A tier-based typed programming language characterizing Feasible Functionals
著者:: Emmanuel Hainry, 等
出版事項: (2022-02-01)

Monadic second-order definable graph orderings
著者:: Achim Blumensath, 等
出版事項: (2014-01-01)

Superposition for Lambda-Free Higher-Order Logic
著者:: Alexander Bentkamp, 等
出版事項: (2021-04-01)

A Functional (Monadic) Second-Order Theory of Infinite Trees
著者:: Anupam Das, 等
出版事項: (2020-10-01)

Polynomial Path Orders
著者:: Martin Avanzini, 等
出版事項: (2013-11-01)

The computability path ordering
著者:: Frédéric Blanqui, 等
出版事項: (2015-10-01)

Partially Ordered Automata and Piecewise Testability
著者:: Tomáš Masopust, 等
出版事項: (2021-05-01)

Existential Definability over the Subword Ordering
著者:: Pascal Baumann, 等
出版事項: (2023-12-01)

Positive First-order Logic on Words and Graphs
著者:: Denis Kuperberg
出版事項: (2023-07-01)

Moss' logic for ordered coalgebras
著者:: Marta Bílková, 等
出版事項: (2022-08-01)

Order-Invariant Types and Their Applications
著者:: Pablo Barcelo, 等
出版事項: (2016-04-01)

Monadic Second Order Logic with Measure and Category Quantifiers
著者:: Matteo Mio, 等
出版事項: (2018-04-01)

Separating Regular Languages with First-Order Logic
著者:: Thomas Place, 等
出版事項: (2016-03-01)

Defining Recursive Predicates in Graph Orders
著者:: Ramanathan S. Thinniyam
出版事項: (2018-09-01)

Partial Order Infinitary Term Rewriting
著者:: Patrick Bahr
出版事項: (2014-06-01)