:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Goldstein, Oliver, Kammar, Ohad
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Computation
Online Access:	https://arxiv.org/abs/2412.19826
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
by: Dvir, Yotam, 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)

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

Computational thinking: an analysis through structured programming using Scratch
by: Antonieta Kuz
Published: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A Behavior Tree-inspired programming language for autonomous agents
by: Biggar, Oliver, et al.
Published: (2024)

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

Sequential composition of answer set programs
by: Antić, Christian
Published: (2021)

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