Imagen de Portada

Corps: A Core Calculus of Hierarchical Choreographic Programming

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Hirsch, Andrew K.
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
por: Samuelson, Ashley, et al.
Publicado: (2025)

Accompanist: A Runtime for Resilient Choreographic Programming
por: Kløvedal, Viktor Strate, et al.
Publicado: (2026)

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

A Promising Future: Omission Failures in Choreographic Programming
por: Graversen, Eva, et al.
Publicado: (2017)

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

Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
por: Lugović, Lovro, et al.
Publicado: (2023)

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

A Core Calculus for Type-safe Product Lines of C Programs
por: Damiani, Ferruccio, et al.
Publicado: (2026)

Type-Based Enforcement of Non-Interference for Choreographic Programming
por: Bertoni, Marco, et al.
Publicado: (2026)

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
por: Bates, Mako, et al.
Publicado: (2024)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
por: De Palma, Giuseppe, et al.
Publicado: (2024)

Suki: Choreographed Distributed Dataflow in Rust
por: Laddad, Shadaj, et al.
Publicado: (2024)

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
por: Bates, Mako, et al.
Publicado: (2024)

Step in Tine: Forking Processes in Functional Choreographies
por: Samuelson, Ashley, et al.
Publicado: (2026)

Pact: A Choreographic Language for Agentic Ecosystems
por: Gopinathan, Kiran, et al.
Publicado: (2026)

Functional Array Programming in an Extended Pi-Calculus
por: Hüttel, Hans, et al.
Publicado: (2024)

Destination Calculus: A Linear λ-Calculus for Purely Functional Memory Writes
por: Bagrel, Thomas, et al.
Publicado: (2025)

A Calculus for Unreachable Code
por: Zhong, Peter, et al.
Publicado: (2024)

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

Choreographies as Macros
por: Bohosian, Alexander, et al.
Publicado: (2025)

A Gradual Probabilistic Lambda Calculus
por: Ye, Wenjia, et al.
Publicado: (2026)

A Calculus for Scoped Effects & Handlers
por: Bosman, Roger, et al.
Publicado: (2023)

Opportunistically Parallel Lambda Calculus
por: Mell, Stephen, et al.
Publicado: (2024)

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

$φ$-Calculus: Object-Oriented Formalism
por: Bugayenko, Yegor, et al.
Publicado: (2021)

Compositional security definitions for higher-order where declassification
por: Menz, Jan, et al.
Publicado: (2026)

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

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
por: Vasconcelos, Pedro, et al.
Publicado: (2024)

Adaptable TeaStore: A Choreographic Approach
por: De Palma, Giuseppe, et al.
Publicado: (2025)

Programming Distributed Collective Processes in the eXchange Calculus
por: Audrito, Giorgio, et al.
Publicado: (2024)

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

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

The Functional Machine Calculus III: Control
por: Heijltjes, Willem
Publicado: (2025)

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

Towards General-Purpose Data Discovery: A Programming Languages Approach
por: Kang, Andrew, et al.
Publicado: (2025)

The Vanilla Sequent Calculus is Call-by-Value (Fresh Perspective)
por: Accattoli, Beniamino
Publicado: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
por: Kobayashi, Naoki
Publicado: (2024)

$λ_A$: A Typed Lambda Calculus for LLM Agent Composition
por: Liu, Qin
Publicado: (2026)

Reasonable Space for the $λ$-Calculus, Logarithmically
por: Accattoli, Beniamino, et al.
Publicado: (2022)

C Analyzer : A Static Program Analysis Tool for C Programs
por: Solanki, Rajendra Kumar
Publicado: (2024)