:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Castello, Jonathan, Redmond, Patrick, Kuper, Lindsey
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2307.10484
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
by: Redmond, Patrick, et al.
Published: (2025)

CRDT Emulation, Simulation, and Representation Independence
by: Liittschwager, Nathan, et al.
Published: (2025)

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

Freer Arrows and Why You Need Them in Haskell
by: VanDomelen, Grant, et al.
Published: (2025)

Efficient, Portable, Census-Polymorphic Choreographic Programming
by: Bates, Mako, et al.
Published: (2024)

Inductive Synthesis of Inductive Heap Predicates -- Extended Version
by: Yang, Ziyi, et al.
Published: (2025)

Custom Representations of Inductive Families
by: Theocharis, Constantine, et al.
Published: (2025)

Crux, a Precise Verifier for Rust and Other Languages
by: Pernsteiner, Stuart, et al.
Published: (2024)

Denotational reasoning for asynchronous multiparty session types
by: McDermott, Dylan, et al.
Published: (2026)

Automatic layout of railroad diagrams
by: Chiplunkar, Shardul, et al.
Published: (2025)

Multi types and reasonable space
by: Accattoli, Beniamino, et al.
Published: (2022)

TensorRocq: Enabling diagrammatic reasoning in Rocq
by: Caldwell, Benjamin, et al.
Published: (2026)

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

Can you keep a secret? A new protocol for sender-side enforcement of causal message delivery
by: Tong, Yan, et al.
Published: (2026)

CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis
by: Wei, Anjiang, et al.
Published: (2025)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
by: Rocha, Filipe Marinho, et al.
Published: (2024)

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
by: Elad, Neta, et al.
Published: (2025)

Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
by: Ye, Kangfeng, et al.
Published: (2023)

Scylla: Translating an Applicative Subset of C to Safe Rust
by: Fromherz, Aymeric, et al.
Published: (2024)

Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
by: Blanc, Alex Le, et al.
Published: (2025)

Surveying the Rust Verification Landscape
by: Blanc, Alex Le, et al.
Published: (2024)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
by: Luo, Ziyan, et al.
Published: (2023)

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
by: Agarwal, Shubham, et al.
Published: (2026)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
by: Van der Cruysse, Jonathan, et al.
Published: (2023)

Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory
by: Niu, Yue, et al.
Published: (2024)

Sound Borrow-Checking for Rust via Symbolic Semantics (Long Version)
by: Ho, Son, et al.
Published: (2024)

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
by: Rao, Balaji, et al.
Published: (2026)

Totality for Mixed Inductive and Coinductive Types
by: Hyvernat, Pierre
Published: (2019)

Does Task Complexity Moderate the Benefits of Liveness? A Controlled Experiment
by: Rein, Patrick, et al.
Published: (2024)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
by: Cuéllar, Santiago, et al.
Published: (2025)

Adaptive Shielding via Parametric Safety Proofs
by: Feng, Yao, et al.
Published: (2025)

Broadening the View of Live Programmers: Integrating a Cross-Cutting Perspective on Run-Time Behavior into a Live Programming Environment
by: Rein, Patrick, et al.
Published: (2024)

The CoCompiler: DSL Lifting via Relational Compilation
by: Spargo, Naomi, et al.
Published: (2025)

Schema Evolution in Interactive Programming Systems
by: Edwards, Jonathan, et al.
Published: (2024)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
by: LaFontaine, Patrick, et al.
Published: (2025)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
by: Laurent, Jonathan, et al.
Published: (2025)

DOCE: Finding the Sweet Spot for Execution-Based Code Generation
by: Li, Haau-Sing, et al.
Published: (2024)

Qualifying System F-sub
by: Lee, Edward, et al.
Published: (2023)

Charon: An Analysis Framework for Rust
by: Ho, Son, et al.
Published: (2024)

Exo 2: Growing a Scheduling Language
by: Ikarashi, Yuka, et al.
Published: (2024)