On the public citation graph
Session Types in Haskell: Updating Message Passing for the 21st Century
0 signed · 46 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/11580850_16openalex-snapshot
A Distributed Object-Oriented Language with Session Types
inferredcites →https://doi.org/10.1007/11737414_6openalex-snapshot
Lock Free Data Structures Using STM in Haskell
inferredcites →https://doi.org/10.1007/11785477_20openalex-snapshot
Session Types for Object-Oriented Languages
inferredcites →https://doi.org/10.1007/3-540-46425-5_15openalex-snapshot
Type Classes with Functional Dependencies
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-540-24725-8_5openalex-snapshot
Sound and Decidable Type Inference for Functional Dependencies
inferredcites →https://doi.org/10.1007/978-3-540-24836-1_5openalex-snapshot
An Implementation of Session Types
inferredcites →https://doi.org/10.1007/978-3-540-28644-8_32openalex-snapshot
Session Types for Functional Multithreading
inferredcites →https://doi.org/10.1007/978-3-540-70592-5_22openalex-snapshot
Session-Based Distributed Programming in Java
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.1145/1017472.1017488openalex-snapshot
Strongly typed heterogeneous collections
inferredcites →https://doi.org/10.1145/1065944.1065952openalex-snapshot
Composable memory transactions
inferredcites →https://doi.org/10.1145/1159803.1159811openalex-snapshot
Simple unification-based type inference for GADTs
inferredcites →https://doi.org/10.1145/1217935.1217953openalex-snapshot
Language support for fast and reliable message-based communication in singularity OS
inferredcites →https://doi.org/10.1145/1328438.1328472openalex-snapshot
Multiparty asynchronous session types
inferredcites →https://doi.org/10.1145/1378704.1378725openalex-snapshot
Composable memory transactions
inferredcites →https://doi.org/10.1145/2641638.2641654openalex-snapshot
Language support for lightweight transactions
inferredcites →https://doi.org/10.14236/ewic/msfp2006.5openalex-snapshot
Parameterised Notions of Computation
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-59025-3_5openalex-snapshot
Session Types Without Sophistry
inferred← citeshttps://doi.org/10.1007/978-3-030-78142-2_4openalex-snapshot
Relating Functional and Imperative Session Types
inferred← citeshttps://doi.org/10.1007/978-3-319-05032-4_2openalex-snapshot
A Concurrent Programming Language with Refined Session Types
inferred← citeshttps://doi.org/10.1007/978-3-642-14458-5_1openalex-snapshot
Sessions and Session Types: An Overview
inferred← citeshttps://doi.org/10.1007/978-3-642-37890-4_5openalex-snapshot
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason
inferred← citeshttps://doi.org/10.1017/s0960129514000231openalex-snapshot
An extensible approach to session polymorphism
inferred← citeshttps://doi.org/10.1109/icint55083.2022.00019openalex-snapshot
Design and Implementation of Session Types-based TCP and Unix Domain Socket
inferred← citeshttps://doi.org/10.1145/2611040.2611098openalex-snapshot
Programming Safe Agents in Blueprint
inferred← citeshttps://doi.org/10.1145/2837614.2837634openalex-snapshot
Effects as sessions, sessions as effects
inferred← citeshttps://doi.org/10.1145/2914770.2837634openalex-snapshot
Effects as sessions, sessions as effects
inferred← citeshttps://doi.org/10.1145/3406088.3409024openalex-snapshot
A graded monad for deadlock-free concurrency (functional pearl)
inferred← citeshttps://doi.org/10.1145/3471874.3472979openalex-snapshot
Deadlock-free session types in linear Haskell
inferred← citeshttps://doi.org/10.11575/prism/26768openalex-snapshot
Linear Functors and their Fixed Points
inferred← citeshttps://doi.org/10.1201/9781003337331-10openalex-snapshot
Session Types with Linearity in Haskell
inferred← citeshttps://doi.org/10.1201/9781003337331-11openalex-snapshot
An OCaml Implementation of Binary Sessions
inferred← citeshttps://doi.org/10.13052/rp-9788793519817openalex-snapshot
Behavioural Types: from Theory to Tools
inferred← citeshttps://doi.org/10.25560/9475openalex-snapshot
Parameterised Session Types Communication Patterns: Through the Looking Glass of Session Types
inferred← citeshttps://doi.org/10.4204/eptcs.69.7openalex-snapshot
A Modular Toolkit for Distributed Interactions
inferred← citeshttps://doi.org/10.4230/lipics.ecoop.2022.22openalex-snapshot
Ferrite: A Judgmental Embedding of Session Types in Rust
inferred← citeshttps://doi.org/10.46298/lmcs-18(3:33)2022openalex-snapshot
Relating Functional and Imperative Session Types
inferred← citeshttps://doi.org/10.46298/lmcs-19(3:3)2023openalex-snapshot
Separating Sessions Smoothly
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.