The following pages link to Semantic subtyping (Q3452185):
Displaying 20 items.
- On specifications, subset types and interpretation of proposition in type theory (Q688736) (← links)
- 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)
- Automata, Languages and Programming (Q5716788) (← links)
- Precise Subtyping for Asynchronous Multiparty Sessions (Q5886521) (← links)
- Automated Deduction – CADE-19 (Q5900716) (← links)
- Categorical approximation fixpoint theory (Q6545560) (← links)