Cover Image

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kaddar, Younesse, Staton, Sam
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Likelihood hacking in probabilistic program synthesis
by: Karwowski, Jacek, et al.
Published: (2026)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
by: Ackerman, Nathanael L., et al.
Published: (2023)

Uncertainty-Aware Step-wise Verification with Generative Reward Models
by: Ye, Zihuiwen, et al.
Published: (2025)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
by: Kammar, Ohad, et al.
Published: (2026)

Higher Order Automatic Differentiation of Higher Order Functions
by: Huot, Mathieu, et al.
Published: (2021)

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
by: Fiore, Marcelo P., et al.
Published: (2025)

Compositional imprecise probability
by: Liell-Cock, Jack, et al.
Published: (2024)

Towards representation agnostic probabilistic programming
by: Fenske, Ole, et al.
Published: (2025)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
by: Goldstein, Oliver, et al.
Published: (2024)

Amortizing intractable inference in large language models
by: Hu, Edward J., et al.
Published: (2023)

Scoped Effects as Parameterized Algebraic Theories
by: Matache, Cristina, et al.
Published: (2024)

Accessible bridge between category theory and functional programming
by: Kadhi, Fethi
Published: (2024)

The Relative Monadic Metalanguage
by: Liell-Cock, Jack, et al.
Published: (2025)

Cofibrant generation of pure monomorphisms in presheaf categories
by: Cox, Sean, et al.
Published: (2025)

Comparing large language models and human programmers for generating programming code
by: Hou, Wenpin, et al.
Published: (2024)

GPU accelerated program synthesis: Enumerate semantics, not syntax!
by: Berger, Martin, et al.
Published: (2025)

Saturating automata for game semantics
by: Dixon, Alex, et al.
Published: (2023)

Efficient compilation and execution of synchronous programs via type-state programming
by: Malik, Avinash
Published: (2025)

An instance of FreeCHR with refined operational semantics
by: Rechenberger, Sascha, et al.
Published: (2025)

The downgrading semantics of memory safety (Extended version)
by: Hansen, René Rydhof, et al.
Published: (2025)

Galois connecting call-by-value and call-by-name
by: McDermott, Dylan, et al.
Published: (2022)

Clock systems for stochastic and non-deterministic categorical systems theories
by: Lynch, Owen, et al.
Published: (2026)

Relaxed exception semantics for Arm-A (extended version)
by: Simner, Ben, et al.
Published: (2024)

A causal Markov category with Kolmogorov products
by: Moss, Sean, et al.
Published: (2025)

Higher-order bialgebraic semantics
by: Goncharov, Sergey, et al.
Published: (2024)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
by: Estep, Sam
Published: (2024)

The generalised distribution semantics and projective families of distributions
by: Weitkämper, Felix
Published: (2022)

ESNERA: Empirical and semantic named entity alignment for named entity dataset merging
by: Zhang, Xiaobo, et al.
Published: (2025)

Evaluating adaptive and generative AI-based feedback and recommendations in a knowledge-graph-integrated programming learning system
by: Nongkhai, Lalita Na, et al.
Published: (2026)

Compiling the Mimosa programming language to RTOS tasks
by: Huber, Nikolaus, et al.
Published: (2025)

Timetide: A programming model for logically synchronous distributed systems
by: Kenwright, Logan, et al.
Published: (2025)

Rows and Capabilities as Modal Effects
by: Tang, Wenhao, et al.
Published: (2025)

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
by: Ye, Kangfeng, et al.
Published: (2023)

Probabilistic energy profiler for statically typed JVM-based programming languages
by: Nyholm, Joel, et al.
Published: (2025)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
by: Soldevila, Mallku, et al.
Published: (2024)

TypeDis: A Type System for Disentanglement
by: Moine, Alexandre, et al.
Published: (2025)

The nature of loops in programming
by: Meyer, Bertrand
Published: (2025)

Syntactically and semantically regular languages of lambda-terms coincide through logical relations
by: Moreau, Vincent, et al.
Published: (2023)

Utilize Transformers for translating Wikipedia category names
by: Ta, Hoang-Thang, et al.
Published: (2024)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
by: Moine, Alexandre, et al.
Published: (2025)