Pages that link to "Item:Q4647565"
From MaRDI portal
The following pages link to Implicit coercions in type systems (Q4647565):
Displaying 7 items.
- Integrating coercion with subtyping and multiple dispatch (Q988562) (← links)
- A constructive algebraic hierarchy in Coq. (Q1404425) (← links)
- Transitivity in coercive subtyping (Q1776403) (← links)
- Working with Mathematical Structures in Type Theory (Q3499757) (← links)
- Validating Mathematical Structures (Q5048998) (← links)
- 2-Dimensional Directed Type Theory (Q5739362) (← links)
- Implicit typing à la ML for the join-calculus (Q6044118) (← links)