Image de couverture de livre

Efficient, Portable, Census-Polymorphic Choreographic Programming

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bates, Mako, Kashiwa, Shun, Jafri, Syed, Shen, Gan, Kuper, Lindsey, Near, Joseph P.
Format:	Preprint
Publié:	2024
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

Efficient, Portable, Census-Polymorphic Choreographic Programming
par: Bates, Mako, et autres
Publié: (2025)

MultiChor: Census Polymorphic Choreographic Programming with Multiply Located Values
par: Bates, Mako, et autres
Publié: (2024)

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
par: Bates, Mako, et autres
Publié: (2024)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
par: Shen, Gan, et autres
Publié: (2024)

Freer Arrows and Why You Need Them in Haskell
par: VanDomelen, Grant, et autres
Publié: (2025)

Proceedings of the 2024 miniKanren and Relational Programming Workshop
par: Verbitskaia, Ekaterina, et autres
Publié: (2024)

Choreographic Quick Changes: First-Class Location (Set) Polymorphism
par: Samuelson, Ashley, et autres
Publié: (2025)

DT-SIM: Property-Based Testing for MPC Security
par: Bates, Mako, et autres
Publié: (2024)

Inductive diagrams for causal reasoning
par: Castello, Jonathan, et autres
Publié: (2023)

Accompanist: A Runtime for Resilient Choreographic Programming
par: Kløvedal, Viktor Strate, et autres
Publié: (2026)

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

A Promising Future: Omission Failures in Choreographic Programming
par: Graversen, Eva, et autres
Publié: (2017)

Language-Based Security for Low-Level MPC
par: Skalka, Christian, et autres
Publié: (2024)

SMT-Boosted Security Types for Low-Level MPC
par: Skalka, Christian, et autres
Publié: (2025)

Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
par: Lugović, Lovro, et autres
Publié: (2023)

CRDT Emulation, Simulation, and Representation Independence
par: Liittschwager, Nathan, et autres
Publié: (2025)

Suki: Choreographed Distributed Dataflow in Rust
par: Laddad, Shadaj, et autres
Publié: (2024)

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern
par: Redmond, Patrick, et autres
Publié: (2025)

Type-Based Enforcement of Non-Interference for Choreographic Programming
par: Bertoni, Marco, et autres
Publié: (2026)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
par: De Palma, Giuseppe, et autres
Publié: (2024)

Example-Based Reasoning about the Realizability of Polymorphic Programs
par: Mulleners, Niek, et autres
Publié: (2024)

Pact: A Choreographic Language for Agentic Ecosystems
par: Gopinathan, Kiran, et autres
Publié: (2026)

Polymorphic Coverage Types
par: Zhou, Zhe, et autres
Publié: (2023)

Portability of Optimizations from SC to TSO
par: Gopalakrishnan, Akshay, et autres
Publié: (2025)

Signature Restriction for Polymorphic Algebraic Effects
par: Sekiyama, Taro, et autres
Publié: (2020)

All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
par: Moine, Alexandre, et autres
Publié: (2025)

SLaDe: A Portable Small Language Model Decompiler for Optimized Assembly
par: Armengol-Estapé, Jordi, et autres
Publié: (2023)

Adaptable TeaStore: A Choreographic Approach
par: De Palma, Giuseppe, et autres
Publié: (2025)

Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
par: Balik, Patrycja, et autres
Publié: (2025)

Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
par: He, Siyuan, et autres
Publié: (2026)

Leroy: Library Learning for Imperative Programming Languages
par: Bellur, Abhiram, et autres
Publié: (2024)

SGLang: Efficient Execution of Structured Language Model Programs
par: Zheng, Lianmin, et autres
Publié: (2023)

GPU Performance Portability needs Autotuning
par: Ringlein, Burkhard, et autres
Publié: (2025)

Polymorphic Bottom-Up Weighted Relational Programming
par: Volkov, Dmitri
Publié: (2026)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
par: Jang, Junyoung, et autres
Publié: (2024)

GeckoGraph: A Visual Language for Polymorphic Types
par: Fu, Shuai, et autres
Publié: (2024)

An Algebraic Approach to Asymmetric Delegation and Polymorphic Label Inference (Technical Report)
par: Ren, Silei, et autres
Publié: (2025)

Linear and non-linear relational analyses for Quantum Program Optimization
par: Amy, Matthew, et autres
Publié: (2024)

Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
par: Xiao, Youwei, et autres
Publié: (2025)

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
par: Ma, Haoyang, et autres
Publié: (2025)