( en | de | ru )

 

Disambiguation of "Staton, Sam"

Author of the publication

copydeleteadd this publication to your clipboard
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction.

, , and . LICS, page 57:1-57:14. ACM, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Samuel Staton

Ebie Sam

Inn Sam

Sam Dahlgren

Andreas Sam

 

Other publications of authors with the same name

The Beta-Bernoulli process and algebraic effects., , , , , and . ICALP, volume 107 of LIPIcs, page 141:1-141:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Probability Theory from a Programming Perspective (Invited Paper).. ICALP, volume 107 of LIPIcs, page 3:1-3:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Backtracking with cut via a distributive law and left-zero monoids., and . J. Funct. Program., (2017)Compositional Semantics for Probabilistic Programs with Exact Conditioning., and . LICS, page 1-13. IEEE, (2021)Effect Algebras, Presheaves, Non-locality and Contextuality., and . ICALP (2), volume 9135 of Lecture Notes in Computer Science, page 401-413. Springer, (2015)A Sound and Complete Logic for Algebraic Effects., and . FoSSaCS, volume 11425 of Lecture Notes in Computer Science, page 382-399. Springer, (2019)Probabilistic programming semantics for name generation., , , and . Proc. ACM Program. Lang., 5 (POPL): 1-29 (2021)Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras., and . QPL, volume 394 of EPTCS, page 400-414. (2022)Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras., , and . QPL, volume 236 of EPTCS, page 161-173. (2016)Substitution, jumps, and algebraic effects., and . CSL-LICS, page 41:1-41:10. ACM, (2014)