Buchumschlag

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Goldstein, Oliver, Kammar, Ohad
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Programming Languages Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Coverage Semantics for Dependent Pattern Matching
von: Eremondi, Joseph, et al.
Veröffentlicht: (2025)

Frex: dependently-typed algebraic simplification
von: Allais, Guillaume, et al.
Veröffentlicht: (2023)

Modular abstract syntax trees (MAST): substitution tensors with second-class sorts
von: Fiore, Marcelo P., et al.
Veröffentlicht: (2025)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
von: Dvir, Yotam, et al.
Veröffentlicht: (2025)

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

Relaxed exception semantics for Arm-A (extended version)
von: Simner, Ben, et al.
Veröffentlicht: (2024)

Towards representation agnostic probabilistic programming
von: Fenske, Ole, et al.
Veröffentlicht: (2025)

Likelihood hacking in probabilistic program synthesis
von: Karwowski, Jacek, et al.
Veröffentlicht: (2026)

Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES
von: Goldstein, Oliver, et al.
Veröffentlicht: (2025)

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

Probabilistic energy profiler for statically typed JVM-based programming languages
von: Nyholm, Joel, et al.
Veröffentlicht: (2025)

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

Tracers for debugging and program exploration
von: Chiplunkar, Shardul, et al.
Veröffentlicht: (2026)

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

Developing a Modular Compiler for a Subset of a C-like Language
von: Dutta, Debasish, et al.
Veröffentlicht: (2025)

Complete first-order reasoning for functional programs
von: Murali, Adithya, et al.
Veröffentlicht: (2026)

A feasible and unitary quantum programming language
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2023)

Checkpoint-based rollback recovery in session programming
von: Mezzina, Claudio Antares, et al.
Veröffentlicht: (2023)

Kleene algebra with commutativity conditions is undecidable
von: de Amorim, Arthur Azevedo, et al.
Veröffentlicht: (2024)

A programming language characterizing quantum polynomial time
von: Hainry, Emmanuel, et al.
Veröffentlicht: (2022)

Computational thinking: an analysis through structured programming using Scratch
von: Antonieta Kuz
Veröffentlicht: (2023)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Origami: (un)folding the abstraction of recursion schemes for program synthesis
von: Fernandes, Matheus Campos, et al.
Veröffentlicht: (2024)

A denotationally-based program logic for higher-order store
von: Aagaard, Frederik Lerbjerg, et al.
Veröffentlicht: (2023)

Stream programs are monoid homomorphisms with state
von: Hou, Tyler, et al.
Veröffentlicht: (2025)

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

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

Comparing large language models and human programmers for generating programming code
von: Hou, Wenpin, et al.
Veröffentlicht: (2024)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
von: Hu, Jason Z. S., et al.
Veröffentlicht: (2024)

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
von: Kambhamettu, Hita, et al.
Veröffentlicht: (2026)

Timetide: A programming model for logically synchronous distributed systems
von: Kenwright, Logan, et al.
Veröffentlicht: (2025)

Enhanced Data Race Prediction Through Modular Reasoning
von: Ang, Zhendong, et al.
Veröffentlicht: (2025)

Efficient compilation and execution of synchronous programs via type-state programming
von: Malik, Avinash
Veröffentlicht: (2025)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
von: Ackerman, Nathanael L., et al.
Veröffentlicht: (2023)

Antiassociative algebra in R: introducing the evitaicossa package
von: Hankinn, Robin K. S.
Veröffentlicht: (2024)

A programming language combining quantum and classical control
von: Dave, Kinnari, et al.
Veröffentlicht: (2025)

Compilation of Modular and General Sparse Workspaces
von: Zhang, Genghan, et al.
Veröffentlicht: (2024)

Pyrosome: Verified Compilation for Modular Metatheory
von: Jamner, Dustin, et al.
Veröffentlicht: (2025)

Compressed code: the hidden effects of quantization and distillation on programming tokens
von: Siniaev, Viacheslav, et al.
Veröffentlicht: (2026)

WatChat: Explaining perplexing programs by debugging mental models
von: Chandra, Kartik, et al.
Veröffentlicht: (2024)