The following pages link to Practical affine types (Q5408563):
Displaying 10 items.
- Alms (Q34511) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- Context-Free Session Type Inference (Q2988669) (← links)
- (Q4989404) (← links)
- (Q5015212) (← links)
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows (Q5041106) (← links)
- A simple library implementation of binary sessions (Q5371999) (← links)
