Image de couverture de livre

Rod Bustall: In Memoriam

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Moore, J Strother, Plotkin, Gordon, Rydeheard, David, Sannella, Don
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Handling the Selection Monad (Full Version)
par: Plotkin, Gordon, et autres
Publié: (2025)

Smart Choices and the Selection Monad
par: Abadi, Martin, et autres
Publié: (2020)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
par: Dvir, Yotam, et autres
Publié: (2025)

Actor Capabilities for Message Ordering (Extended Version)
par: Gordon, Colin S.
Publié: (2025)

La violenza tra tradizione e digital society
par: Sannella, Alessandra
Publié: (2018)

Cataloging and Coding Language Lab Courseware: A "Library Access" Concept
par: Strei, Gerry, et autres
Publié: (1978)

Syntactic Completions with Material Obligations
par: Moon, David, et autres
Publié: (2025)

California State Library: Processing Center Design and Specifications. Volume III, Coding Manual.
par: Sherman, Don, et autres
Publié: (1969)

A Verified Compiler for Quantum Simulation
par: Li, Liyi, et autres
Publié: (2025)

Quantum Simulation Programming via Typing
par: Li, Liyi, et autres
Publié: (2025)

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

Modal Abstractions for Virtualizing Memory Addresses
par: Kuru, Ismail, et autres
Publié: (2023)

The Algebra of Patterns (Extended Version)
par: Binder, David, et autres
Publié: (2025)

A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification
par: Marron, Assaf, et autres
Publié: (2025)

An Executable Specification of Oncology Dose-Escalation Protocols with Prolog
par: Norris, David C., et autres
Publié: (2024)

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
par: Warren, David S., et autres
Publié: (2024)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
par: Liesnikov, Bohdan, et autres
Publié: (2025)

Real-Time Probabilistic Programming
par: Hummelgren, Lars, et autres
Publié: (2023)

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
par: Kahn, David M, et autres
Publié: (2025)

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
par: Cuéllar, Santiago, et autres
Publié: (2025)

SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges
par: Kozak, David, et autres
Publié: (2025)

A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
par: Castro-Perez, David, et autres
Publié: (2025)

BASIC: Updating a Familiar Language.
par: Eyman, David H.
Publié: (1988)

Grokking the Sequent Calculus (Functional Pearl)
par: Binder, David, et autres
Publié: (2024)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
par: Böhler, Timon, et autres
Publié: (2026)

Deriving Dependently-Typed OOP from First Principles -- Extended Version with Additional Appendices
par: Binder, David, et autres
Publié: (2024)

Compiling with Arrays
par: Richter, David, et autres
Publié: (2024)

A Direct-Style Effect Notation for Sequential and Parallel Programs
par: Richter, David, et autres
Publié: (2023)

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)
par: Young, David, et autres
Publié: (2024)

SYMDIREC: A Neuro-Symbolic Divide-Retrieve-Conquer Framework for Enhanced RTL Synthesis and Summarization
par: Vijayaraghavan, Prashanth, et autres
Publié: (2026)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
par: Eriksson, Oscar, et autres
Publié: (2025)

Efficient Cost Bounds with Linear Maps
par: Kahn, David M, et autres
Publié: (2025)

OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
par: Arafat, Hassan, et autres
Publié: (2025)

CF-GKAT: Efficient Validation of Control-Flow Transformations
par: Zhang, Cheng, et autres
Publié: (2024)

Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE
par: Gould, Chester J. F., et autres
Publié: (2025)

The CoCompiler: DSL Lifting via Relational Compilation
par: Spargo, Naomi, et autres
Publié: (2025)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
par: Makor, Lukas, et autres
Publié: (2025)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
par: Lundén, Daniel, et autres
Publié: (2023)

Cognacy Queries over Dependence Graphs for Transparent Visualisations
par: Bond, Joseph, et autres
Publié: (2024)

Auditing Rust Crates Effectively
par: Zoghbi, Lydia, et autres
Publié: (2026)