The following pages link to Computer Science Logic (Q5311273):
Displaying 9 items.
- Type soundness for path polymorphism (Q1744425) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- Typed path polymorphism (Q2424892) (← links)
- Matching MyType to subtyping (Q2442957) (← links)
- Type Fusion (Q3067469) (← links)
- The Recursive Union of Some Gradual Types (Q3188297) (← links)
- (Q4473165) (← links)
- Efficient type checking for path polymorphism (Q4580227) (← links)
- (Q5091145) (← links)