:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Moore, J Strother, Plotkin, Gordon, Rydeheard, David, Sannella, Don
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2505.06456
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Handling the Selection Monad (Full Version)
by: Plotkin, Gordon, et al.
Published: (2025)

Smart Choices and the Selection Monad
by: Abadi, Martin, et al.
Published: (2020)

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

La violenza tra tradizione e digital society
by: Sannella, Alessandra
Published: (2018)

Cataloging and Coding Language Lab Courseware: A "Library Access" Concept
by: Strei, Gerry, et al.
Published: (1978)

Actor Capabilities for Message Ordering (Extended Version)
by: Gordon, Colin S.
Published: (2025)

Unraveling the iterative CHAD
by: Nunes, Fernando Lucatelli, et al.
Published: (2025)

California State Library: Processing Center Design and Specifications. Volume III, Coding Manual.
by: Sherman, Don, et al.
Published: (1969)

Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
by: Kaufmann, Matt, et al.
Published: (2025)

Modal Abstractions for Virtualizing Memory Addresses
by: Kuru, Ismail, et al.
Published: (2023)

A Verified Compiler for Quantum Simulation
by: Li, Liyi, et al.
Published: (2025)

Quantum Simulation Programming via Typing
by: Li, Liyi, et al.
Published: (2025)

Dizionario di sociologia per la persona
by: Ricucci, Roberta, et al.
Published: (2024)

The LLMbda Calculus: AI Agents, Conversations, and Information Flow
by: Garby, Zac, et al.
Published: (2026)

Syntactic Completions with Material Obligations
by: Moon, David, et al.
Published: (2025)

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

The Algebra of Patterns (Extended Version)
by: Binder, David, et al.
Published: (2025)

A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification
by: Marron, Assaf, et al.
Published: (2025)

An Executable Specification of Oncology Dose-Escalation Protocols with Prolog
by: Norris, David C., et al.
Published: (2024)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
by: Warren, David S., et al.
Published: (2024)

BASIC: Updating a Familiar Language.
by: Eyman, David H.
Published: (1988)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
by: Liesnikov, Bohdan, et al.
Published: (2025)

Real-Time Probabilistic Programming
by: Hummelgren, Lars, et al.
Published: (2023)

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
by: Vijayaraghavan, Prashanth, et al.
Published: (2026)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
by: Kahn, David M, et al.
Published: (2025)

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

SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges
by: Kozak, David, et al.
Published: (2025)

A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
by: Castro-Perez, David, et al.
Published: (2025)

Grokking the Sequent Calculus (Functional Pearl)
by: Binder, David, et al.
Published: (2024)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
by: Böhler, Timon, et al.
Published: (2026)

Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
by: Binder, David, et al.
Published: (2024)

Compiling with Arrays
by: Richter, David, et al.
Published: (2024)

A Direct-Style Effect Notation for Sequential and Parallel Programs
by: Richter, David, et al.
Published: (2023)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
by: Young, David, et al.
Published: (2024)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
by: Eriksson, Oscar, et al.
Published: (2025)

Efficient Cost Bounds with Linear Maps
by: Kahn, David M, et al.
Published: (2025)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
by: Arafat, Hassan, et al.
Published: (2025)

CF-GKAT: Efficient Validation of Control-Flow Transformations
by: Zhang, Cheng, et al.
Published: (2024)

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

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
by: Makor, Lukas, et al.
Published: (2025)