On the public citation graph
Label-dependent session types
0 signed · 50 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.1006/inco.1998.2711openalex-snapshot
An Interpretation of Typed Objects into Typedπ-Calculus
inferredcites →https://doi.org/10.1007/3-540-57208-2_35openalex-snapshot
Types for dyadic interaction
inferredcites →https://doi.org/10.1007/3-540-58184-7_118openalex-snapshot
An interaction-based language and its typing system
inferredcites →https://doi.org/10.1007/978-3-642-19056-8_4openalex-snapshot
Scribbling Interactions with a Formal Foundation
inferredcites →https://doi.org/10.1007/s00236-005-0177-zopenalex-snapshot
Subtyping for session types in the pi calculus
inferredcites →https://doi.org/10.1016/j.entcs.2004.04.036openalex-snapshot
Correspondence Assertions for Process Synchronization in Concurrent Communications
inferredcites →https://doi.org/10.1016/j.scico.2012.09.005openalex-snapshot
A linear type system for multicore programming in ATS
inferredcites →https://doi.org/10.1016/j.tcs.2006.06.028openalex-snapshot
Type checking a multithreaded functional language with session types
inferredcites →https://doi.org/10.1016/s0304-3975(00)00175-4openalex-snapshot
Subtyping dependent types
inferredcites →https://doi.org/10.1017/s0956796809990268openalex-snapshot
Linear type theory for asynchronous session types
inferredcites →https://doi.org/10.1017/s0956796813000142openalex-snapshot
Secure distributed programming with value-dependent types
inferredcites →https://doi.org/10.1017/s095679681300018xopenalex-snapshot
Idris, a general-purpose dependently typed programming language: Design and implementation
inferredcites →https://doi.org/10.1017/s0956796816000289openalex-snapshot
A simple library implementation of binary sessions
inferredcites →https://doi.org/10.1017/s0960129514000218openalex-snapshot
Linear logic propositions as session types
inferredcites →https://doi.org/10.1017/s0960129514000231openalex-snapshot
An extensible approach to session polymorphism
inferredcites →https://doi.org/10.1145/1328438.1328472openalex-snapshot
Multiparty asynchronous session types
inferredcites →https://doi.org/10.1145/1706299.1706335openalex-snapshot
Modular session types for distributed object-oriented programming
inferredcites →https://doi.org/10.1145/2370776.2370792openalex-snapshot
Linear dependent types in a call-by-value scenario
inferredcites →https://doi.org/10.1145/2535838.2535883openalex-snapshot
Combining proofs and programs in a dependently typed language
inferredcites →https://doi.org/10.1145/2643135.2643153openalex-snapshot
Bidirectional Elaboration of Dependently Typed Programs
inferredcites →https://doi.org/10.1145/268946.268968openalex-snapshot
Static typing for dynamic messages
inferredcites →https://doi.org/10.1145/2775051.2676969openalex-snapshot
Integrating Linear and Dependent Types
inferredcites →https://doi.org/10.1145/2827695openalex-snapshot
Multiparty Asynchronous Session Types
inferredcites →https://doi.org/10.1145/3022670.2951928openalex-snapshot
Set-theoretic types for polymorphic variants
inferredcites →https://doi.org/10.1145/3158153openalex-snapshot
Recalling a witness: foundations and applications of monotonic state
inferredcites →https://doi.org/10.1145/3209108.3209189openalex-snapshot
Syntax and Semantics of Quantitative Type Theory
inferredcites →https://doi.org/10.4204/eptcs.76.9openalex-snapshot
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems
inferredcites →https://doi.org/10.7494/csci.2017.18.3.1413openalex-snapshot
TYPE-DRIVEN DEVELOPMENT OF CONCURRENT COMMUNICATING SYSTEMS
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-030-99253-8_18openalex-snapshot
The Different Shades of Infinite Session Types
inferred← citeshttps://doi.org/10.1007/978-3-031-62697-5_1openalex-snapshot
Choreographic Automata: A Case Study in Healthcare Management
inferred← citeshttps://doi.org/10.1007/978-3-032-22723-2_11openalex-snapshot
Practical Refinement Session Type Inference
inferred← citeshttps://doi.org/10.1145/3414080.3414087openalex-snapshot
Verified Linear Session-Typed Concurrent Programming
inferred← citeshttps://doi.org/10.1145/3414080.3414109openalex-snapshot
A Dependently Typed Linear π-Calculus in Agda
inferred← citeshttps://doi.org/10.1145/3453483.3454077openalex-snapshot
Sound probabilistic inference via guide types
inferred← citeshttps://doi.org/10.1145/3479394.3479398openalex-snapshot
A Decade of Dependent Session Types
inferred← citeshttps://doi.org/10.1145/3485485openalex-snapshot
Label dependent lambda calculus and gradual typing
inferred← citeshttps://doi.org/10.1145/3607854openalex-snapshot
Intrinsically Typed Sessions with Callbacks (Functional Pearl)
inferred← citeshttps://doi.org/10.1145/3607856openalex-snapshot
Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl)
inferred← citeshttps://doi.org/10.1145/3720493openalex-snapshot
Characterizing Implementability of Global Protocols with Infinite States and Data
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.