On the public citation graph
Pirouette: higher-order typed functional choreographies
0 signed · 57 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-50940-2_36openalex-snapshot
FACILE: A symmetric integration of concurrent and functional programming
inferredcites →https://doi.org/10.1007/978-3-030-85315-0_8openalex-snapshot
Certifying Choreography Compilation
inferredcites →https://doi.org/10.1007/978-3-319-57666-4_3openalex-snapshot
A Core Model for Choreographic Programming
inferredcites →https://doi.org/10.1007/978-3-319-60225-7_7openalex-snapshot
Procedural Choreographic Programming
inferredcites →https://doi.org/10.1007/978-3-540-74792-5_12openalex-snapshot
Links: Web Programming Without Tiers
inferredcites →https://doi.org/10.1007/978-3-540-78663-4_9openalex-snapshot
Type-Safe Distributed Programming with ML5
inferredcites →https://doi.org/10.1007/978-3-642-28729-9_23openalex-snapshot
Functions as Session-Typed Processes
inferredcites →https://doi.org/10.1007/978-3-662-44584-6_5openalex-snapshot
Choreographies, Logically
inferredcites →https://doi.org/10.1007/bf01491213openalex-snapshot
Facile: A symmetric integration of concurrent and functional programming
inferredcites →https://doi.org/10.1016/j.entcs.2006.12.041openalex-snapshot
A Calculus of Global Interaction based on Session Types
inferredcites →https://doi.org/10.1093/comjnl/30.5.437openalex-snapshot
Functional Programming for Concurrent and Distributed Computing
inferredcites →https://doi.org/10.1145/1242572.1242704openalex-snapshot
Towards the theoretical foundation of choreography
inferredcites →https://doi.org/10.1145/2827695openalex-snapshot
Multiparty Asynchronous Session Types
inferredcites →https://doi.org/10.1145/3290343openalex-snapshot
Less is more: multiparty session types revisited
inferredcites →https://doi.org/10.1184/r1/6604586openalex-snapshot
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-17715-6_15openalex-snapshot
Functional Choreographic Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-35355-0_3openalex-snapshot
Certified Compilation of Choreographies with hacc
inferred← citeshttps://doi.org/10.1007/978-3-031-35361-1_8openalex-snapshot
Reasoning About Choreographic Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-62697-5_9openalex-snapshot
The Concurrent Calculi Formalisation Benchmark
inferred← citeshttps://doi.org/10.1007/978-3-031-77382-2_17openalex-snapshot
Verified Configuration and Deployment of Layered Attestation Managers
inferred← citeshttps://doi.org/10.1007/978-3-031-91121-7_13openalex-snapshot
An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
inferred← citeshttps://doi.org/10.1007/978-3-031-91121-7_3openalex-snapshot
First-Person Choreographic Programming with Continuation-Passing Communications
inferred← citeshttps://doi.org/10.1007/978-3-031-98682-6_16openalex-snapshot
Sprout: A Verifier for Symbolic Multiparty Protocols
inferred← citeshttps://doi.org/10.1007/978-981-96-0808-9_18openalex-snapshot
Choreography-Defined Networks: A Case Study on DoS Mitigation
inferred← citeshttps://doi.org/10.1007/s10817-023-09665-3openalex-snapshot
A Formal Theory of Choreographic Programming
inferred← citeshttps://doi.org/10.1016/j.infsof.2026.108180openalex-snapshot
Choreography-defined networks: Concepts and a case study on AI-based attack detection
inferred← citeshttps://doi.org/10.1017/s0956796823000114openalex-snapshot
Alice or Bob?: Process polymorphism in choreographies
inferred← citeshttps://doi.org/10.1109/csf61375.2024.00021openalex-snapshot
Secure Synthesis of Distributed Cryptographic Applications
inferred← citeshttps://doi.org/10.1109/sp63933.2026.00009openalex-snapshot
Mechanized Safety and Liveness Proofs for the Mysticeti Consensus Protocol Under the LiDO-DAG Framework
inferred← citeshttps://doi.org/10.1145/3571223openalex-snapshot
A Core Calculus for Equational Proofs of Cryptographic Protocols
inferred← citeshttps://doi.org/10.1145/3607849openalex-snapshot
HasChor: Functional Choreographic Programming for All (Functional Pearl)
inferred← citeshttps://doi.org/10.1145/3632398openalex-snapshot
Choral: Object-oriented Choreographic Programming
inferred← citeshttps://doi.org/10.1145/3648439openalex-snapshot
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
inferred← citeshttps://doi.org/10.1145/3720493openalex-snapshot
Characterizing Implementability of Global Protocols with Infinite States and Data
inferred← citeshttps://doi.org/10.1145/3729296openalex-snapshot
Efficient, Portable, Census-Polymorphic Choreographic Programming
inferred← citeshttps://doi.org/10.1145/3747538openalex-snapshot
Relax! The Semilenient Core of Choreographic Programming (Functional Pearl)
inferred← citeshttps://doi.org/10.1145/3758316.3763252openalex-snapshot
On a Multitier Actor Programming Language
inferred← citeshttps://doi.org/10.1145/3759164.3759352openalex-snapshot
Freer Arrows and Why You Need Them in Haskell
inferred← citeshttps://doi.org/10.1145/3763114openalex-snapshot
Choreographic Quick Changes: First-Class Location (Set) Polymorphism
inferred← citeshttps://doi.org/10.1145/3779209.3779537openalex-snapshot
Towards Lightweight and Efficient Choreographic Cloud Services
inferred← citeshttps://doi.org/10.1145/3808319openalex-snapshot
Implementability of Global Distributed Protocols Modulo Network Architectures
inferred← citeshttps://doi.org/10.1145/3815176openalex-snapshot
Formalising Asynchronous Session Subtyping
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2024/8/8openalex-snapshot
Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability
inferred← citeshttps://doi.org/10.29007/wbw3openalex-snapshot
Keep me out of the loop: a more flexible choreographic projection
inferred← citeshttps://doi.org/10.4204/eptcs.378.5openalex-snapshot
Choreographic Programming of Isolated Transactions
inferred← citeshttps://doi.org/10.7717/peerj-cs.1907openalex-snapshot
A model for correlation-based choreographic programming
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.