:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Fiore, Marcelo P., Kammar, Ohad, Moser, Georg, Staton, Sam
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2511.03946
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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)

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

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

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

Abstract clones for abstract syntax
by: Arkor, Nathanael, et al.
Published: (2021)

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

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

Is spreadsheet syntax better than numeric indexing for cell selection?
by: Heltweg, Philip, et al.
Published: (2025)

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

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

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

Automated Expected Cost Analysis for Quantum Programs
by: Moser, Georg, et al.
Published: (2026)

Advanced OOP and new syntax patterns for Javascript
by: Rosa, Alessandro
Published: (2024)

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

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

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

EATXT: A textual concrete syntax for EAST-ADL
by: Zhang, Weixing, et al.
Published: (2024)

Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
by: Walch, Armin, et al.
Published: (2026)

Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
by: Leutgeb, Lorenz, et al.
Published: (2022)

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

On Propositional Program Equivalence (extended abstract)
by: Kappé, Tobias
Published: (2025)

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

Pictorial syntax
by: Kevin J. Lande
Published: (2024)

The evolutionary psychology of syntax
by: Michael Tomasello
Published: (2025)

Completeness in static analysis by abstract interpretation, a personal point of view
by: Monniaux, David
Published: (2022)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
by: Hansen, Zachary
Published: (2025)

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

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

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

L'autonomia di apprendimento
by: Scott, Staton
Published: (2010)

The syntax of functional left peripheries
by: Bacskai-Atkari, Julia
Published: (2024)

Modular Probabilistic Models via Algebraic Effects
by: Nguyen, Minh, et al.
Published: (2022)

MLIR-Forge: A Modular Framework for Language Smiths
by: Ates, Berke, et al.
Published: (2026)

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

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

Learning logic programs by discovering higher-order abstractions
by: Hocquette, Céline, et al.
Published: (2023)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
by: Beyer, Dirk, et al.
Published: (2025)

JoinActors: A Modular Library for Actors with Join Patterns
by: Hussein, Ayman, et al.
Published: (2026)

Experimental investigations on the syntax and usage of fragments
by: Lemke, Robin
Published: (2022)

Rule-Based, Neural and LLM Back-Translation: Comparative Insights from a Variant of Ladin
by: Frontull, Samuel, et al.
Published: (2024)