Copertina

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Goldstein, Oliver, Kammar, Ohad
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Coverage Semantics for Dependent Pattern Matching
di: Eremondi, Joseph, et al.
Pubblicazione: (2025)

Frex: dependently-typed algebraic simplification
di: Allais, Guillaume, et al.
Pubblicazione: (2023)

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

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
di: Dvir, Yotam, et al.
Pubblicazione: (2025)

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)

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

Towards representation agnostic probabilistic programming
di: Fenske, Ole, et al.
Pubblicazione: (2025)

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

Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES
di: Goldstein, Oliver, et al.
Pubblicazione: (2025)

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
di: Kaddar, Younesse, et al.
Pubblicazione: (2023)

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

MSc-SQL: Multi-Sample Critiquing Small Language Models For Text-To-SQL Translation
di: Gorti, Satya Krishna, et al.
Pubblicazione: (2024)

Tracers for debugging and program exploration
di: Chiplunkar, Shardul, et al.
Pubblicazione: (2026)

CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules
di: Le, Hung, et al.
Pubblicazione: (2023)

Developing a Modular Compiler for a Subset of a C-like Language
di: Dutta, Debasish, et al.
Pubblicazione: (2025)

Complete first-order reasoning for functional programs
di: Murali, Adithya, et al.
Pubblicazione: (2026)

A feasible and unitary quantum programming language
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2023)

Checkpoint-based rollback recovery in session programming
di: Mezzina, Claudio Antares, et al.
Pubblicazione: (2023)

Kleene algebra with commutativity conditions is undecidable
di: de Amorim, Arthur Azevedo, et al.
Pubblicazione: (2024)

A programming language characterizing quantum polynomial time
di: Hainry, Emmanuel, et al.
Pubblicazione: (2022)

Computational thinking: an analysis through structured programming using Scratch
di: Antonieta Kuz
Pubblicazione: (2023)

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

Origami: (un)folding the abstraction of recursion schemes for program synthesis
di: Fernandes, Matheus Campos, et al.
Pubblicazione: (2024)

A denotationally-based program logic for higher-order store
di: Aagaard, Frederik Lerbjerg, et al.
Pubblicazione: (2023)

Stream programs are monoid homomorphisms with state
di: Hou, Tyler, et al.
Pubblicazione: (2025)

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

Extending Isabelle/HOL's Code Generator with support for the Go programming language
di: Stübinger, Terru, et al.
Pubblicazione: (2023)

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

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
di: Hu, Jason Z. S., et al.
Pubblicazione: (2024)

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
di: Kambhamettu, Hita, et al.
Pubblicazione: (2026)

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

Enhanced Data Race Prediction Through Modular Reasoning
di: Ang, Zhendong, et al.
Pubblicazione: (2025)

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

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

Antiassociative algebra in R: introducing the evitaicossa package
di: Hankinn, Robin K. S.
Pubblicazione: (2024)

A programming language combining quantum and classical control
di: Dave, Kinnari, et al.
Pubblicazione: (2025)

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)

Compressed code: the hidden effects of quantization and distillation on programming tokens
di: Siniaev, Viacheslav, et al.
Pubblicazione: (2026)

WatChat: Explaining perplexing programs by debugging mental models
di: Chandra, Kartik, et al.
Pubblicazione: (2024)