Rast: a language for resource-aware session types

MaRDI QIDQ5028463zbMATH OpenFDO

Authors Ankush Das, Frank Pfenning

Publication date 9 February 2022

Full work available at URL https://arxiv.org/abs/2012.13129, https://lmcs.episciences.org/8954

zbMATH Keywords

resource analysissession typesrefinement types

Mathematics Subject Classification ID

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

Recommendations

• Linearly refined session types
• Work analysis with resource-aware session types
• Nested session types
• Fundamentals of session types
• CONCUR 2004 - Concurrency Theory

Cites work

• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 6131659 (Why is no real title available?)
• scientific article; zbMATH DE number 1398002 (Why is no real title available?)
• scientific article; zbMATH DE number 7441269 (Why is no real title available?)
• scientific article; zbMATH DE number 3408928 (Why is no real title available?)
• A message-passing interpretation of adjoint logic
• A simple library implementation of binary sessions
• Compliance and subtyping in timed session types
• Context-free session types
• Cut reduction in linear logic as asynchronous session-typed communication
• Depending on session-typed processes
• Effects as sessions, sessions as effects
• Functions as processes
• Fundamentals of session types
• Higher-order processes, functions, and sessions: a monadic integration
• Linear logic propositions as session types
• Linear type theory for asynchronous session types
• Linearly refined session types
• Multiparty asynchronous session types
• Multiparty session types, beyond duality
• Polarized Substructural Session Types
• Propositions as sessions
• Relating state-based and process-based concurrency through linear logic (full-version)
• Session types as intuitionistic linear propositions
• Subtyping for session types in the pi calculus
• Talking bananas: structural recursion for session types
• Work analysis with resource-aware session types

Cited in

(3)

• Rast
• Back to futures
• System \(F^\mu_\omega\) with context-free session types

This page was built for publication: Rast: a language for resource-aware session types

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