64 citations · 124 across the 12 of their papers we have counts for
Showing 2020 · cs.PLShow all
2 papers · 2 filters
cs.PL2020
Probabilistic Programming Semantics for Name Generation
Marcin Sabok, Sam Staton, Dario Stein +1
We make a formal analogy between random sampling and fresh name generation. We show that quasi-Borel spaces, a model for probabilistic programming, can soundly interpret Stark's $ν…
cs.PL2020
Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing
Mathieu Huot, Sam Staton, Matthijs Vákár
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 characte…