Sam Staton

Identifiers

No identifiers captured yet.

Papers (7)

1. Higher Order Automatic Differentiation of Higher Order Functions cs.PL · 2021 · author #2
2. Quantum channels as a categorical completion cs.LO · 2019 · author #2
3. Universal Properties in Quantum Theory quant-ph · 2019 · author #2
4. The Beta-Bernoulli process and algebraic effects cs.PL · 2018 · author #1
5. Denotational validation of higher-order Bayesian inference cs.PL · 2017 · author #4
6. A monad for full ground reference cells cs.PL · 2017 · author #4
7. Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Hongseok Yang 3 shared papers
• Mathieu Huot 3 shared papers
• Ohad Kammar 3 shared papers
• Chris Heunen 2 shared papers
• Matthijs V\'ak\'ar 2 shared papers
• Sean K. Moss 2 shared papers
• Adam \'Scibior 1 shared papers
• Cameron E. Freer 1 shared papers
• Daniel M. Roy 1 shared papers
• Dario Stein 1 shared papers
• Frank Wood 1 shared papers
• Klaus Ostermann 1 shared papers
• Nathanael L. Ackerman 1 shared papers
• Paul B. Levy 1 shared papers
• Yufei Cai 1 shared papers
• Zoubin Ghahramani 1 shared papers