Browsing 1 - Oberwolfach Preprints (OWP) by Subject "Automatic differentiation"
Now showing items 1-1 of 1
-
Logical Relations for Partial Features and Automatic Differentiation Correctness
[OWP-2023-09] (Mathematisches Forschungsinstitut Oberwolfach, 2023-06-19)We present a simple technique for semantic, open logical relations arguments about languages with recursive types, which, as we show, follows from a principled foundation in categorical semantics. We demonstrate how it can ...