Copertina

Modular Probabilistic Models via Algebraic Effects

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Nguyen, Minh, Perera, Roly, Wang, Meng, Wu, Nicolas
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Effect Handlers for Programmable Inference
di: Nguyen, Minh, et al.
Pubblicazione: (2023)

Cognacy Queries over Dependence Graphs for Transparent Visualisations
di: Bond, Joseph, et al.
Pubblicazione: (2024)

Galois Slicing as Automatic Differentiation
di: Atkey, Robert, et al.
Pubblicazione: (2025)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
di: Moosbrugger, Marcel, et al.
Pubblicazione: (2026)

Lenses for Partially-Specified States (Extended Version)
di: Matsuda, Kazutaka, et al.
Pubblicazione: (2026)

Literate Execution
di: Bond, Joe, et al.
Pubblicazione: (2026)

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

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

Remarks on Algebraic Reconstruction of Types and Effects
di: Balik, Patrycja, et al.
Pubblicazione: (2026)

Signature Restriction for Polymorphic Algebraic Effects
di: Sekiyama, Taro, et al.
Pubblicazione: (2020)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
di: Shen, Gan, et al.
Pubblicazione: (2024)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
di: Yang, Zhixuan, et al.
Pubblicazione: (2025)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
di: Wang, Peixin, et al.
Pubblicazione: (2023)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2026)

Probabilistic Inference for Datalog with Correlated Inputs
di: Wang, Jingbo, et al.
Pubblicazione: (2025)

Newtonian Program Analysis of Probabilistic Programs
di: Wang, Di, et al.
Pubblicazione: (2023)

An Incremental Algorithm for Algebraic Program Analysis
di: Zhou, Chenyu, et al.
Pubblicazione: (2024)

Towards Algebraic Subtyping for Extensible Records
di: Marques, Rodrigo, et al.
Pubblicazione: (2024)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
di: Boreale, Michele, et al.
Pubblicazione: (2025)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
di: Boreale, Michele, et al.
Pubblicazione: (2026)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
di: Lim, Sangho, et al.
Pubblicazione: (2025)

FreeCHR: An Algebraic Framework for CHR-Embeddings
di: Rechenberger, Sascha, et al.
Pubblicazione: (2023)

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models
di: Wong, Lionel, et al.
Pubblicazione: (2025)

From Algebraic Word Problem to Program: A Formalized Approach
di: Wiemerslage, Adam, et al.
Pubblicazione: (2020)

GATlab: Modeling and Programming with Generalized Algebraic Theories
di: Lynch, Owen, et al.
Pubblicazione: (2024)

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
di: Schröer, Philipp, et al.
Pubblicazione: (2025)

Multi-Language Probabilistic Programming
di: Stites, Sam, et al.
Pubblicazione: (2025)

Joint Distributions in Probabilistic Semantics
di: Kozen, Dexter, et al.
Pubblicazione: (2023)

Real-Time Probabilistic Programming
di: Hummelgren, Lars, et al.
Pubblicazione: (2023)

Compilation of Modular and General Sparse Workspaces
di: Zhang, Genghan, et al.
Pubblicazione: (2024)

Pyrosome: Verified Compilation for Modular Metatheory
di: Jamner, Dustin, et al.
Pubblicazione: (2025)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
di: Huot, Mathieu, et al.
Pubblicazione: (2024)

A Gradual Probabilistic Lambda Calculus
di: Ye, Wenjia, et al.
Pubblicazione: (2026)

Probabilistic Programs of Thought
di: Garg, Poorva, et al.
Pubblicazione: (2026)

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
di: Liell-Cock, Jack, et al.
Pubblicazione: (2024)

Piecewise Analysis of Probabilistic Programs via $k$-Induction
di: Yang, Tengshun, et al.
Pubblicazione: (2024)

Caesar: A Deductive Verifier for Probabilistic Programs
di: Schröer, Philipp, et al.
Pubblicazione: (2026)

Sound Interval-Based Synthesis for Probabilistic Programs
di: Espada, Guilherme, et al.
Pubblicazione: (2025)

Data-Driven Invariant Learning for Probabilistic Programs
di: Bao, Jialu, et al.
Pubblicazione: (2021)