The following pages link to Recursive subtyping revealed (Q4709841):
Displayed 5 items.
- Adding recursion to Dpi (Q877023) (← links)
- Coinductive big-step operational semantics (Q1012129) (← links)
- A static simulation of dynamic delimited control (Q2464731) (← links)
- A type system for Discretionary Access Control (Q3395314) (← links)
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419) (← links)