:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	McDermott, Dylan, Yoshida, Nobuko
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2604.10646
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Galois connecting call-by-value and call-by-name
by: McDermott, Dylan, et al.
Published: (2022)

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

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

Hybrid Multiparty Session Types -- Full Version
by: Gheri, Lorenzo, et al.
Published: (2023)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)
by: Udomsrirungruang, Thien, et al.
Published: (2024)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses
by: Udomsrirungruang, Thien, et al.
Published: (2024)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
by: Udomsrirungruang, Thien, et al.
Published: (2024)

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
by: Giunti, Marco, et al.
Published: (2025)

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
by: Martin, Vassor, et al.
Published: (2024)

Global types and event structure semantics for asynchronous multiparty sessions
by: Castellani, Ilaria, et al.
Published: (2021)

Branching Out: Existential External Choice in Effpi
by: Robinson, Benjamin, et al.
Published: (2026)

Fearless Asynchronous Communications with Timed Multiparty Session Protocols
by: Hou, Ping, et al.
Published: (2024)

Asynchronous Global Protocols, Precisely: Full Proofs
by: Pischke, Kai, et al.
Published: (2025)

Abstracting Denotational Interpreters
by: Graf, Sebastian, et al.
Published: (2024)

A Denotational Semantics for Quantum Loops
by: Assolini, Nicola, et al.
Published: (2025)

Denotation-based Compositional Compiler Verification
by: Cheng, Zhang, et al.
Published: (2024)

Wiring the Pi-calculus to Denotational Semantics
by: Sakayori, Ken, et al.
Published: (2026)

Denotational Semantics for Probabilistic and Concurrent Programs
by: Zilberstein, Noam, et al.
Published: (2025)

Denotational Foundations for Expected Cost Analysis
by: de Amorim, Pedro H. Azevedo
Published: (2024)

Crash-Stop Failures in Asynchronous Multiparty Session Types
by: Barwell, Adam D., et al.
Published: (2023)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
by: Vákár, Matthijs
Published: (2020)

Towards a Higher-Order Bialgebraic Denotational Semantics
by: Goncharov, Sergey, et al.
Published: (2026)

A Coq Library of Sets for Teaching Denotational Semantics
by: Cao, Qinxiang, et al.
Published: (2024)

The Denotational Semantics of SSA
by: Ghalayini, Jad Elkhaleq, et al.
Published: (2024)

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory (Extended Version)
by: Giovannini, Eric, et al.
Published: (2024)

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

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
by: Kaye, George
Published: (2025)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
by: Ghica, Dan R., et al.
Published: (2022)

Unreliability in Practical Subclasses of Communicating Systems
by: Suresh, Amrita, et al.
Published: (2025)

Presheaves and cocompletions in formal category theory
by: Arkor, Nathanael, et al.
Published: (2026)

The formal theory of relative monads
by: Arkor, Nathanael, et al.
Published: (2023)

Relative monadicity
by: Arkor, Nathanael, et al.
Published: (2023)

The nerve theorem for relative monads
by: Arkor, Nathanael, et al.
Published: (2024)

Inductive diagrams for causal reasoning
by: Castello, Jonathan, et al.
Published: (2023)

LoLA: Low-Rank Linear Attention With Sparse Caching
by: McDermott, Luke, et al.
Published: (2025)

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)

Toxic Inclusivity: When Student Support Centers Fall Victim to Neoliberalism
by: Nike Jacob, et al.
Published: (2025)

Optimizing Byte-level Representation for End-to-end ASR
by: Hsiao, Roger, et al.
Published: (2024)

Embedding Compression for Efficient Re-Identification
by: McDermott, Luke
Published: (2024)