( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets.

, , , , , , , и . Proc. ACM Program. Lang., 8 (POPL): 1819-1849 (января 2024)

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.

Samuel Staton

Ebie Sam

Inn Sam

Sam Dahlgren

Sam Samnang

 

Другие публикации лиц с тем же именем

Quantum channels as a categorical completion., и . LICS, стр. 1-13. IEEE, (2019)Linear usage of state., и . Logical Methods in Computer Science, (2014)Relating Coalgebraic Notions of Bisimulation.. CALCO, том 5728 из Lecture Notes in Computer Science, стр. 191-205. Springer, (2009)A congruence rule format for name-passing process calculi., и . Inf. Comput., 207 (2): 209-236 (2009)ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs., , , и . LICS, стр. 1-14. (2023)Universal properties of impure programming languages., и . POPL, стр. 179-192. ACM, (2013)A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories., и . MFPS, том 3 из EPTICS, EpiSciences, (2023)Normalization by Evaluation and Algebraic Effects., и . MFPS, том 298 из Electronic Notes in Theoretical Computer Science, стр. 51-69. Elsevier, (2013)Some Formal Structures in Probability (Invited Talk).. FSCD, том 195 из LIPIcs, стр. 4:1-4:4. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)General Structural Operational Semantics through Categorical Logic.. LICS, стр. 166-177. IEEE Computer Society, (2008)