Structural foundations for differentiable programming

Thesis

This dissertation supports the broader thesis that categorical semantics is a powerful tool to study and design programming languages. It focuses on the foundational aspects of differentiable programming in a simply typed functional setting. Although most of the category theory used can be boiled down to a more elementary presentation, its influence was certainly key in obtaining the results presented in this dissertation. The conciseness of certain proofs and the compactness of c...

Expand abstract

Authors: Huot, M

• DOI: 10.5287/ora-9oxvzg4g7
• Type of award: DPhil
• Level of award: Doctoral
• Awarding institution: University of Oxford
• Language: English
• Keywords: functional programming; semantics; differentiable programming; category theory; automatic differentiation
• Subjects: Automatic differentiation; Denotational semantics; Functional programming (Computer science)