scientific article; zbMATH DE number 7471698

MaRDI QIDQ5028463

Ankush Das, Frank Pfenning

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/2012.13129

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

session typesresource analysisrefinement types

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (2)

Back to futures ⋮ Rast

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fundamentals of session types
• Relating state-based and process-based concurrency through linear logic (full-version)
• Multiparty session types, beyond duality
• Depending on session-typed processes
• A message-passing interpretation of adjoint logic
• Subtyping for session types in the pi calculus
• Compliance and Subtyping in Timed Session Types
• Effects as sessions, sessions as effects
• Polarized Substructural Session Types
• Talking bananas: structural recursion for session types
• Context-free session types
• Multiparty asynchronous session types
• Session Types as Intuitionistic Linear Propositions
• Functions as processes
• Work Analysis with Resource-Aware Session Types
• Propositions as sessions
• Linear type theory for asynchronous session types
• Higher-Order Processes, Functions, and Sessions: A Monadic Integration
• A simple library implementation of binary sessions
• Linear logic propositions as session types

This page was built for publication: