Non-linear communication via graded modal session types

DOI10.1016/J.IC.2024.105234MaRDI QIDQ6647771

Dominic Orchard, Danielle Marshall

Publication date: 3 December 2024

Published in: Information and Computation (Search for Journal in Brave)

zbMATH Keywords

session typescommunication patternsgraded types

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Fundamentals of session types
• Bounded linear logic: A modular approach to polynomial-time computability
• Depending on session-typed processes
• \( \pi\) with leftovers: a mechanisation in Agda
• Graded modal dependent type theory
• A Semantics for Propositions as Sessions
• Coeffects: a calculus of context-dependent computation
• Propositions as sessions
• Uniqueness typing for resource management in message-passing concurrency
• Combining effects and coeffects via grading
• I Got Plenty o’ Nuttin’
• Session Types as Intuitionistic Linear Propositions
• Linear type theory for asynchronous session types
• Bounded Linear Types in a Resource Semiring
• A Core Quantitative Coeffect Calculus
• Asynchronous timed session types. From duality to time-sensitive processes
• Linearity and uniqueness: an entente cordiale
• A framework for substructural type systems

This page was built for publication: Non-linear communication via graded modal session types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6647771)