Rast: a language for resource-aware session types
From MaRDI portal
Publication:5028463
Authors: Ankush Das, Frank Pfenning 
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/2012.13129
Recommendations
Cites Work
- Title not available (Why is that?)
- Functions as processes
- Multiparty asynchronous session types
- Subtyping for session types in the pi calculus
- Compliance and subtyping in timed session types
- Session types as intuitionistic linear propositions
- Linear type theory for asynchronous session types
- Relating state-based and process-based concurrency through linear logic (full-version)
- Propositions as sessions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic propositions as session types
- Fundamentals of session types
- Multiparty session types, beyond duality
- Linearly refined session types
- Talking bananas: structural recursion for session types
- Depending on session-typed processes
- Higher-order processes, functions, and sessions: a monadic integration
- A simple library implementation of binary sessions
- A message-passing interpretation of adjoint logic
- Polarized Substructural Session Types
- Cut reduction in linear logic as asynchronous session-typed communication
- Effects as sessions, sessions as effects
- Context-free session types
- Work analysis with resource-aware session types
- Title not available (Why is that?)
Cited In (3)
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)
