5 citations · 8 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022
Logical Relations for Partial Features and Automatic Differentiation Correctness
Fernando Lucatelli Nunes, Matthijs Vákár
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 catego…
cs.PL2022★ 3 cited
Automatic Differentiation for ML-family languages: correctness via logical relations
Fernando Lucatelli Nunes, Matthijs Vákár
We give a simple, direct and reusable logical relations technique for languages with term and type recursion and partially defined differentiable functions. We demonstrate it by wo…