The following pages link to Alms (Q34511):
Displaying 8 items.
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- Context-Free Session Type Inference (Q2988669) (← links)
- Modular session types for objects (Q3460414) (← links)
- (Q4989404) (← links)
- (Q5015212) (← links)
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows (Q5041106) (← links)