The following pages link to Semantic subtyping (Q3452185):
Displaying 16 items.
- A typed lambda calculus with intersection types (Q930870) (← links)
- Backward type inference for XML queries (Q2182320) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- Judgmental subtyping systems with intersection types and modal types (Q2510384) (← links)
- The Relevance of Semantic Subtyping (Q2842838) (← links)
- The Better Bubbling Lemma (Q2864214) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Semantic subtyping with an SMT solver (Q2913944) (← links)
- The Recursive Union of Some Gradual Types (Q3188297) (← links)
- (Q5020942) (← links)
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Q5043586) (← links)
- (Q5089030) (← links)
- (Q5091145) (← links)
- Type Inference for Rank 2 Gradual Intersection Types (Q5098736) (← links)
- (Q5216307) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
