Image de couverture de livre

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bagrel, Thomas, Spiwack, Arnaud
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

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
par: Bagrel, Thomas
Publié: (2026)

Invertible Syntax without the Tuples (Functional Pearl)
par: Boespflug, Mathieu, et autres
Publié: (2025)

Refinement-Types Driven Development: A study
par: Domínguez, Facundo, et autres
Publié: (2025)

Reasonable Space for the $λ$-Calculus, Logarithmically
par: Accattoli, Beniamino, et autres
Publié: (2022)

Linear Constraints
par: Spiwack, Arnaud, et autres
Publié: (2026)

$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
par: Liu, Qin
Publié: (2026)

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

A Calculus for Unreachable Code
par: Zhong, Peter, et autres
Publié: (2024)

The Functional Machine Calculus III: Control
par: Heijltjes, Willem
Publié: (2025)

Opportunistically Parallel Lambda Calculus
par: Mell, Stephen, et autres
Publié: (2024)

A Gradual Probabilistic Lambda Calculus
par: Ye, Wenjia, et autres
Publié: (2026)

A Calculus for Scoped Effects & Handlers
par: Bosman, Roger, et autres
Publié: (2023)

Functional Array Programming in an Extended Pi-Calculus
par: Hüttel, Hans, et autres
Publié: (2024)

$φ$-Calculus: Object-Oriented Formalism
par: Bugayenko, Yegor, et autres
Publié: (2021)

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

Corps: A Core Calculus of Hierarchical Choreographic Programming
par: Hirsch, Andrew K.
Publié: (2024)

pyeb: A Python Implementation of Event-B Refinement Calculus
par: Cataño, Néstor
Publié: (2025)

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
par: Vasconcelos, Pedro, et autres
Publié: (2024)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
par: Boyer, Matthieu Pierre
Publié: (2025)

A Calculus of Inheritance
par: Yang, Bo
Publié: (2026)

Reduction Strategies in the Lambda Calculus and Their Implementation through Derivable Abstract Machines: Introduction
par: Drab, Tomasz
Publié: (2024)

A Core Calculus for Type-safe Product Lines of C Programs
par: Damiani, Ferruccio, et autres
Publié: (2026)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
par: Accattoli, Beniamino
Publié: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
par: Kobayashi, Naoki
Publié: (2024)

The Lambda Calculus is Quantifiable
par: Maestracci, Valentin, et autres
Publié: (2024)

Homomorphism Calculus for User-Defined Aggregations
par: Wang, Ziteng, et autres
Publié: (2025)

$μλεδ$-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
par: Salgado, Ronie
Publié: (2024)

Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
par: Paul, Abhijit
Publié: (2025)

The Relational Machine Calculus
par: Barrett, Chris, et autres
Publié: (2024)

Programming Distributed Collective Processes in the eXchange Calculus
par: Audrito, Giorgio, et autres
Publié: (2024)

A Classical Linear $λ$-Calculus based on Contraposition
par: Barenbaum, Pablo, et autres
Publié: (2026)

The LLMbda Calculus: AI Agents, Conversations, and Information Flow
par: Garby, Zac, et autres
Publié: (2026)

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing
par: Matsushita, Yusuke, et autres
Publié: (2026)

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus (Extended Version)
par: Schaefer, Steven, et autres
Publié: (2025)

Intersection Types for a Computational Lambda-Calculus with Global State
par: de'Liguoro, Ugo, et autres
Publié: (2021)

Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs
par: Sano, Jin, et autres
Publié: (2025)

Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
par: Mutlu, Doruk Alp
Publié: (2025)

Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
par: Bertrand, Meven Lennon, et autres
Publié: (2026)

String Diagrams for $λ$-calculi and Functional Computation
par: Ghica, Dan, et autres
Publié: (2023)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
par: Traversié, Thomas
Publié: (2024)