Pages that link to "Item:Q1780453"
From MaRDI portal
The following pages link to Subtyping recursion and parametric polymorphism in kernel Fun (Q1780453):
Displaying 6 items.
- Recursive types for Fun (Q1176245) (← links)
- Type soundness for path polymorphism (Q1744425) (← links)
- Typed path polymorphism (Q2424892) (← links)
- Complexity of kernel fun subtype checking (Q2817692) (← links)
- Efficient type checking for path polymorphism (Q4580227) (← links)
- Stratified polymorphism and primitive recursion (Q4704766) (← links)